On Mon, Feb 11, 2019 at 08:39:51PM +0100, K. Schreiner wrote:
> Hi,
> 
> with current source cvs'uped some minutes ago:

Sigh - it compiled for me as I was building for debug, but with release
optimizations on gcc is smarter. Will fix in a minute.

Martin

Reply via email to