Gary Verhaegen 427179ab27 fix (some) copyright headers (#8422) ... This commit fixes a few copyright headers that have been missed in the automatic update on Jan 1, as well as the generation code in the compat workspace so it generates the right headers. CHANGELOG_BEGIN CHANGELOG_END		2021-01-07 11:48:59 +01:00
..
BUILD	update versions bbased on git tags (#6580)	2020-07-02 16:37:13 +00:00
UpdateVersions.hs	fix (some) copyright headers (#8422)	2021-01-07 11:48:59 +01:00