Version 1.9 has been released

New features:
none

Bug fixes:
a number of bugs have been fixed. More information is available in the Release Notes.

Existing functionality changes
A number of cosmetic corrections have been introduced. More information is available in the Release Notes.