Skip to content

CI: use archive.debian.org#160

Merged
irgaly merged 1 commit intomainfrom
archive_debian
Jun 11, 2023
Merged

CI: use archive.debian.org#160
irgaly merged 1 commit intomainfrom
archive_debian

Conversation

@irgaly
Copy link
Copy Markdown
Owner

@irgaly irgaly commented Jun 11, 2023

stretch は arcihve.debian.org へ移動した https://lists.debian.org/debian-devel-announce/2023/03/msg00006.html

@irgaly irgaly self-assigned this Jun 11, 2023
@irgaly irgaly merged commit e45af0f into main Jun 11, 2023
@irgaly irgaly deleted the archive_debian branch June 11, 2023 08:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant