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
@bhamiltoncx Is there a way we can easily update UnbufferedCharStream so that it uses the new 32-bit functionality? it would be okay to get the implementation out and replace with a delegation to the new stuff. there would be no concern about buffer size in memory.