oops, should actually include the new patch in the repo!

[debian/as31] / debian / patches / series

diff --git a/debian/patches/series b/debian/patches/series
index 3921658b2fe77fb5547f6586e16b6f9d8364adb4..70e71975529fb98c497ad095e06f8c38c9d5f57c 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 elide_errant_text
+regenerate_parser.c