2.12.11 includes parts of different gnulib versions

[Simon Josefsson]

Andreas Metzler <ametzler at downhill.at.eu.org> writes:

> On 2011-10-01 Andreas Metzler <ametzler at downhill.at.eu.org> wrote:
>> Hello,
>
>> looks like some gnulib update was incomlete in 2.12.11:
>
>> (SID)gnutls-2.12.11$ head -n1 ./lib/gl/m4/float_h.m4 ./gl/m4/float_h.m4
>> ==> ./lib/gl/m4/float_h.m4 <==
>> # float_h.m4 serial 7
>
>> ==> ./gl/m4/float_h.m4 <==
>> # float_h.m4 serial 5
>
> Hello,
> looks like 1f2742f85da1aa1f4c73c44d7fdf1a8f41c82c7d is the cause,
> since then only lib/gl/ has been updated, gl/ and libextra/gl/ seem to
> be stale.

This has been fixed, right?  I just ran 'make glimport' in the 2.12
branch, and there were only minor diffs.

/Simon