Commit 67573880e699873ed05f8a784cb9937fb1156ed4

Bruno Haible 2023-02-07T13:17:08

check-copyright: Make output prettier. * check-copyright: Resize the second column from width 14 to width 17.