Merge branch 'tokenpool_alarm_patch' into HEAD

mkoeppe · Dec 22, 2023 · 56f6edd · 56f6edd
2 parents 8fc3d94 + b3331bd
commit 56f6edd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build/pkgs/gnumake_tokenpool/install-requires.txt b/build/pkgs/gnumake_tokenpool/install-requires.txt
@@ -1 +1 @@
-gnumake-tokenpool
+git+https://github.com/milahu/gnumake-tokenpool.git@refs/pull/4/head#egg=gnumake_tokenpool