Merge branch 'experiment/stability' of gitlab.fi.muni.cz:formela/regstar-devel...

Merge branch 'experiment/stability' of gitlab.fi.muni.cz:formela/regstar-devel into experiment/stability