On 6/1/20 7:30 PM, Jonathan Wakely wrote: > * gcc-changelog/git_commit.py (GitCommit.check_mentioned_files): > Improve error text. > > OK for master? > Yes, I've just pushed the patch with your authorship. Martin