11.1.1 MINERVA Release

27 Jun 2018

---

Fixed:

• Updating privileges takes much less time
  

• Concurrent update on privileges does not crash
  

• Search by element id crashes when submaps are available
  

• GO connector uses new API, due to turning off the old one