Merge pull request #7292 from jepler/fix-error-message

dhalbert · web-flow · commit d7d5a96da9fd · 2022-12-05T11:07:11.000-05:00
fix display of the 'host not found' message
diff --git a/py/makeqstrdefs.py b/py/makeqstrdefs.py
@@ -65,6 +65,7 @@
 # These are just vexing!
 del name2codepoint["and"]
 del name2codepoint["or"]
+del name2codepoint["not"]
 
 
 def preprocess():
