Hi Rainer,

On Fri, Nov 17, 2017 at 1:32 PM, Rainer Orth
<[email protected]> wrote:
> Please fix.

Fixed in r254870.

BR,
Pekka

Reply via email to