11.1.3 MINERVA Release

23 Jul 2018

---

Fixed:

• RPM: remove directory with contents of unpacked war file when uninstalling
  

• Don’t append Google API key to Google Maps javascript URL when it is not set