diff options
| -rw-r--r-- | scripts/regeng-api | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/regeng-api b/scripts/regeng-api index da623412..729dbf20 100644 --- a/scripts/regeng-api +++ b/scripts/regeng-api @@ -269,6 +269,9 @@ (please-run-this-cust-id-now :cust-id 42) => () +(please-publish-world-right-now :cust-id 42) +=> () + ;;; Protocol operations between IRBE and RE. |