Skip to content

Fix problem with recreated deleted glyph#119

Merged
justvanrossum merged 2 commits intomainfrom fix-recreate-bugOct 30, 2023