Skip to content

Merge jt

Jan Trávníček requested to merge merge-jt into master

Fixes some issues in formal regexp optimize. Up to the state, we may enable tests.

I have bundled in a few tidy fixes too.

Edited by Jan Trávníček

Merge request reports