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.
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.