13.1.2 MINERVA Release

22 July 2019

---

Bugs fixed:

• The information about a problematic zip file is more specific and refers to the MINERVA manual.

• The URL did not contain the list of active plugins, what caused the plugins were not reload automatically on the page refresh.