13.0.0 MINERVA Release

6 May 2019

---

Bugs fixed:

• Since Oracle Java cannot be installed as debian dependency we use openjdk-8. Due to this dependency minerva can be no longer installed on Ubuntu-14