On 2015/04/13 22:17, Claudio Jeker wrote: > Sorry, I didn't look into this properly. I was hoping that sthen and you > would take over - guess that was wishful thinking.
Unfortunately illness got in the way of that, though I have now nearly worked through the other things I had on my todo list for p2k15 so I probably can pick it up in a few days if nobody beats me to it ;)
