This is a diff between 1.8 and 1.9 revisions:
11a11< [[VOSNews][Virtuoso 7.2.5]] includes various enhancements and bug fixes across the board, 10d11> [[VOSNews][Virtuoso 7.2.5.1]] includes various enhancements and bug fixes across the board, 9a9< ---+++ 2018-08-15: Virtuoso 7.2.5 Released, Open Source Edition8d9> ---+++ 2018-08-15: Virtuoso 7.2.5.1 Released, Open Source Edition