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

fix display of the 'host not found' message
This commit is contained in:
Dan Halbert 2022-12-05 11:07:11 -05:00 committed by GitHub
commit d7d5a96da9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -65,6 +65,7 @@ name2codepoint["tilde"] = ord("~")
# These are just vexing!
del name2codepoint["and"]
del name2codepoint["or"]
del name2codepoint["not"]
def preprocess():