Revision 1b6b9fb02417ea908e3b9e8ca533df2ff21cd1de

Committed on 03/02/2019 9:52 pm by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

Bump copyright year