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