K 10
svn:author
V 7
mandree
K 8
svn:date
V 27
2020-01-12T12:06:52.663182Z
K 7
svn:log
V 247
Tools/scripts/sed_checked.sh: reword sed warning

The original wording was misleading and might have mistaken for
identical file names, but what is meant is that the sed run did not
introduce changes to the file's __content__. Reword accordingly.

END