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
Interesting... this kind of case shouldn't happen often... but of course, it should be handled correctly, thanks for noticing! I really cannot work more today, I'm not really sure what's best... but if it's the only bug, I think we can still make the new algorithm the default.
I was going through the process of making the new algorithm the default and found this during the test review:
The test is tex-output/bugs/fix-43.
The text was updated successfully, but these errors were encountered: