diff options
Diffstat (limited to 'scripts/regeng-api')
| -rw-r--r-- | scripts/regeng-api | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/regeng-api b/scripts/regeng-api index b005cef1..90585a5c 100644 --- a/scripts/regeng-api +++ b/scripts/regeng-api @@ -199,6 +199,8 @@ :ca foo) => (biz-signing-context) +(please-run-this-cust-id-now :cust-id 42) + ;;; Protocol operations between IRBE and RE. |