Fixed bug in minimalizer

This commit is contained in:
2023-02-20 15:04:57 +01:00
parent cc7664519e
commit e37ce3c678