From e2637cf40b839b3f6e7d67639328187966765162 Mon Sep 17 00:00:00 2001 From: ferreo Date: Sun, 3 Nov 2024 14:20:17 +0100 Subject: [PATCH] Update .github/gen-apt-pins --- .github/gen-apt-pins | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/gen-apt-pins b/.github/gen-apt-pins index 56a6051..d8263ee 100644 --- a/.github/gen-apt-pins +++ b/.github/gen-apt-pins @@ -1 +1 @@ -1 \ No newline at end of file +2 \ No newline at end of file