On Tue, 04 Feb 2014 09:22:36 GMT, Sönke Ludwig wrote:

On Tue, 04 Feb 2014 10:16:35 +0100, Sönke Ludwig wrote:
Should work now as of 569b5f0.

Thanks a lot, that's probably still the best way to go.