=== Server Release 3.0.13.2  15 august 2016
 - fixed a crash introduced in 3.0.13.1
 - fixed a deadlock in the server causing some instances to hang / be unresponsive
 - fixed a crash reported by a customer.