Pushed and tagged as trivial for copyright reasons:
http://git.sv.gnu.org/gitweb/?p=gnulib.git;a=commit;h=dbf55f66

thanks,
Pádraig.

Reply via email to