On 06/07/2012 07:44 PM, Thomas Arnhold wrote: > Thanks! Pushed. Hi Thomas, Can I nudge you to use --enable-werror? Esp. when pruning code, it can help detect further stuff that is becoming unused (in some cases even leading to nice avalanches). Thanks anyway, Stephan