Merge branch 'patch-2' into 'devel_13.1.x'

#758 corrected on #798

See merge request !781

CHANGELOG

@@ -18,7 +18,7 @@ minerva (13.1.0~beta.0) unstable; urgency=low
     comment dialog (#680)
   * Small improvement: Left logo is configurable (#731)
   * Small improvement: list of element types in choose annotator dialog is
-    sorted (#758)
+    sorted (#798)
   * Small improvement: Plugin API provides list of overview images (#702)
   * Small improvement: Plugin API allows to show/hide overview images (#702)
   * Small improvement: Plugin API allows to trigger search on the map (#702)