Now fixed in d16d3c3.  We probably want to add a test in the suite, so
I'm leaving the ticket open (assigning to moritz) until that's done.

Thanks!

Pm

Reply via email to