mono updated

Mono has been updated to version 4.0.2.5 for all services and simulators. The update contains bug fixes and performance improvements. Lower memory use on the sim servers have been observed after the update.

hypergrid address: hop://grid.xmir.org:8002                                             xmir © 2014-2017