New Upstream Release - mina2

There were merge conflicts while merging a new upstream version.

More details

Full run details

Historical runs