On Sat, Oct 26, 2013 at 12:46:41PM +0200, Paolo Carlini wrote: > ... seriously, in libmudflap.c++, 41, etc But aren't all these removed in commit 204090? Marek