Hi Rainer,

On Fri, Nov 17, 2017 at 1:32 PM, Rainer Orth
<r...@cebitec.uni-bielefeld.de> wrote:
> Please fix.

Fixed in r254870.

BR,
Pekka

Reply via email to