Merge execute_commands into top-level
authorJacob Bachmeyer <jcb@gnu.org>
Fri, 18 Nov 2022 03:58:17 +0000 (21:58 -0600)
committerJacob Bachmeyer <jcb@gnu.org>
Fri, 18 Nov 2022 03:58:17 +0000 (21:58 -0600)
commitda68da5ebaab39d28422c3305f38c3420bbceae3
tree56b407ef58237f286fd5297d1639e6a6abe63c80
parent25ae38308e16502dc9952b4b3c4caeecc91ad25a
Merge execute_commands into top-level
gatekeeper.pl