maint.mk: extract GPG key ID without using a temporary file
[gnulib.git] / lib / log10f.c
2011-10-08 Bruno HaibleNew module 'log10f'.