3 Sep
2013
3 Sep
'13
9:30 p.m.
2013/8/30 Daniel-Constantin Mierla miconda@gmail.com:
Andreas had also good remarks/suggestions and can be (part of) the solution for a while. Still someone will have to do a bit of work... volunteers?
I can try to help with the github mirror.