DeepaMehta 4.8.5 released

This new version of DeepaMehta is a maintenance release that brings one improvement and several bug fixes. It builds on our experience using DeepaMehta for collaboration in several projects. For detailed information on this and previous releases please check out the Release Notes.

Undefined