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
Sorry to delay on this, noticed it yesterday. Main issue is just picking an executable to give you a fix for it in. :-/
The version which brings back case insensitivity is a bit of a beast and I've been wavering on how far it is from being able to push, and I think giving you a version without case insensitivity would lead to wasted effort...
Crash occurs irrespective of what the bitset! contains (e.g., even if no bits).
The text was updated successfully, but these errors were encountered: