diff --git a/.github/gen-apt-pins b/.github/gen-apt-pins index 573541a..56a6051 100644 --- a/.github/gen-apt-pins +++ b/.github/gen-apt-pins @@ -1 +1 @@ -0 +1 \ No newline at end of file