You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The way to fix this is probably to rewrite snooze-safe-simple-read to take advantage of the normal readtable turning off most of the character functions and preventing interning. This should also simplify a lot of the code.
The text was updated successfully, but these errors were encountered:
This is a bug:
The way to fix this is probably to rewrite
snooze-safe-simple-read
to take advantage of the normal readtable turning off most of the character functions and preventing interning. This should also simplify a lot of the code.The text was updated successfully, but these errors were encountered: