mentarus/acserver — pull request #7 by JasperWallace (2014-11-14 20:54:52+00:00)
Title: changes on the lhs fork

We can't move mentars repo to the lhs one while the lhs one has a fork.

So merge these changes, then we can delete the lhs fork, and then we can move the repo from mentar to lhs...