diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-29 09:56:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-29 09:56:20 +0200 |
| commit | d2abbfb1c5c5dea4fcbd09f075e110b33c8c4e67 (patch) | |
| tree | 7926c4e94b784040d80cb88d997f30ceeefad097 /servers | |
| parent | 1ff772bb7e46143c59306396d009606c8d455891 (diff) | |
| parent | 853d9c0807ed4fd18a51f9e9c4f8846277b27553 (diff) | |
Merge pull request #21554 from bmwiedemann/date
Do not record year of build
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions