[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 0/7] Update gnulib, copyright years etc.
From: |
Bernhard Voelker |
Subject: |
[PATCH 0/7] Update gnulib, copyright years etc. |
Date: |
Tue, 24 Oct 2017 09:09:12 +0200 |
[PATCH 1/7] gnulib: update to latest
[PATCH 2/7] maint: update copyright year number ranges
[PATCH 3/7] maint: align copyright header line
[PATCH 4/7] maint: add copyright header to more files
[PATCH 5/7] doc: add copyright section to man pages
[PATCH 6/7] all: prefer https:// URLs where possible
[PATCH 7/7] maint: run 'make -C po update-po'
Have a nice day,
Berny
- [PATCH 0/7] Update gnulib, copyright years etc.,
Bernhard Voelker <=
- [PATCH 1/7] gnulib: update to latest, Bernhard Voelker, 2017/10/24
- [PATCH 3/7] maint: align copyright header line, Bernhard Voelker, 2017/10/24
- [PATCH 4/7] maint: add copyright header to more files, Bernhard Voelker, 2017/10/24
- [PATCH 5/7] doc: add copyright section to man pages, Bernhard Voelker, 2017/10/24
- [PATCH 2/7] maint: update copyright year number ranges, Bernhard Voelker, 2017/10/24
- [PATCH 6/7] all: prefer https:// URLs where possible, Bernhard Voelker, 2017/10/24
- [PATCH 7/7] maint: run 'make -C po update-po', Bernhard Voelker, 2017/10/24