On Wed, 21 May 2025, Christopher Bazley wrote: > Would you agree this is adequate? If anyone wants different source code > locations to be highlighted then a future commit could change that.
In this case the locations seem reasonable. -- Joseph S. Myers josmy...@redhat.com
