New Upstream Release - f3

Merged new upstream version: 7.2 (was: 7.1).

More details

Full run details

A new upstream version is available: 8.0