Revise reporting of replaced files
authorJacob Bachmeyer <jcb@gnu.org>
Thu, 17 Nov 2022 02:52:11 +0000 (20:52 -0600)
committerJacob Bachmeyer <jcb@gnu.org>
Thu, 17 Nov 2022 02:52:11 +0000 (20:52 -0600)
commit013bc439ba19f4aa51f417d315086cb9832f0f01
treeb8b992ebd44acea4215b80ddbfcc5ef38489bac8
parent5d420fcfbbc2ef6471593dab4758ff53a0a1fcb9
Revise reporting of replaced files
gatekeeper.pl