New Upstream Release - virtuoso-opensource

Nothing to do for virtuoso-opensource

A new upstream version is available: 7.2.5