• Paul Eggert's avatar
    Merge from gnulib and try to repair bad merge · 39c2fa3f
    Paul Eggert authored
    This attempts to repair problems introduced by the bad merge
    5491fd10.  The easiest way for me
    to fix the badly-merged gnulib files was to run
    'admin/merge-gnulib', so I did that, which also imported the
    following changes:
    * build-aux/update-copyright, m4/gnulib.m4:
    Update from gnulib, incorporating:
    2015-01-15 time: port to MinGW32 3.21
    2015-01-15 update-copyright: apply to self
    2015-01-11 update-copyright: recognize groff's \(co marker
update-copyright 9.28 KB