Commit 6c1bd0f2b285758dea6e617f398395ddc27ce32e

Werner Lemberg 2023-01-17T09:15:36

* src/tools/no-copyright: Updated.