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.

See previous MINERVA 13.1 release notes: