Commit 5add879e authored Apr 27, 2023 by multrus

Merge branch '4-add-check-for-working-buggy-gen-patt-version' into 'main'

Check for a bug free version of gen-patt

See merge request !27