Commit 806c5dc0e42e48b6b6440e9b1c12e40580ac159a

Pierre Le Marre 2024-01-10T17:17:48

scripts: Fix update-headers command The file name misses an extension.