Skip to content
Bugfix release on 3.26.137.2, including MINTY-1023, MINTY-800

This release contains two fixes, whereas the previous only included one.
This is done in order to be able to pull back *just* the StUF changes in
case anything goes wrong with that.