Merge branch 'v12.0.0-beta2' into 'master'

12.0.0-beta.2 release

See merge request piotr.gawron/minerva!294

CHANGELOG

+minerva (12.0.0~beta.2) unstable; urgency=medium
+  * Bug fix: issues that appeared in 12.0.0~beta.1
+
+ -- Piotr Gawron <piotr.gawron@uni.lu>  Mon, 9 Apr 2018 13:00:00 +0200
+
 minerva (12.0.0~beta.1) unstable; urgency=medium
   * Bug fix: issues that appeared in 12.0.0~beta.0
 

persist/src/db/12.0.0~beta.2/fix_db_20180423.sql

+-- empty file to force directory to be commited to git repo