"...automata-library.git" did not exist on "a7ecb1d602f6cc83a9685d85c369294c8e93d888"
Jan Trávníček
authored
This reverts commit 832a57e7. Conflicts: aconversions/src/re2fa/Brzozowski.cpp libaregexptree/src/RegExpOptimize.cpp