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
Thanks for noting this. FYI—the REPL functionality seemed really cool when I included it but honestly I haven't given it much use. Part of the problem is understanding which options should persist between REPL commands and which should not.
I accidentally set a filter in the repl, but didn't see the error until later. Disallow setting invalid filters.
The text was updated successfully, but these errors were encountered: