On 12/11/2012 03:04 AM, Akim Demaille wrote:
> It fixed it for all the versions of GCC I have: warning-free
> compilation of lib/.

Thanks for checking it; I pushed that.

Reply via email to