2.12.11 includes parts of different gnulib versions

[Andreas Metzler]

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

cu andreas
-- 
`What a good friend you are to him, Dr. Maturin. His other friends are
so grateful to you.'
`I sew his ears on from time to time, sure'