Opencast 9 Release on December 15

Opencast 9 is planned for release on December 15.  It brings a number of new features and stability improvements.  Find the release notes at https://docs.opencast.org/r/9.x/admin/#releasenotes/