Add processing phase tag "RP" for report phase
authorJacob Bachmeyer <jcb@gnu.org>
Tue, 1 Nov 2022 04:11:00 +0000 (23:11 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Tue, 1 Nov 2022 04:11:00 +0000 (23:11 -0500)
commit20272dab7209b60a185af5990ea6a67aace3bb82
treef42725f595800c56272106cef5a9af6a298b18ad
parent3bcfd15650be9df4e8472fbd0f84ad7371a5aa5d
Add processing phase tag "RP" for report phase
gatekeeper.pl
testsuite/lib/gatekeeper.exp