Revise execute_commands to use new operation list
authorJacob Bachmeyer <jcb@gnu.org>
Fri, 21 Oct 2022 04:25:53 +0000 (23:25 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Fri, 21 Oct 2022 04:25:53 +0000 (23:25 -0500)
commit302990ae72f62a258c8196c5484e81f3f822a9d9
tree1b6d92a554365786d0abe76145bf82e203062129
parenta4fdfcba0a5b7bf9ad0bfe27fbeb04bdf592099e
Revise execute_commands to use new operation list
gatekeeper.pl