diff options
| -rw-r--r-- | scripts/regeng-api | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/regeng-api b/scripts/regeng-api index 90585a5c..7c9fb875 100644 --- a/scripts/regeng-api +++ b/scripts/regeng-api @@ -221,6 +221,11 @@ (as-number "ipv6 prefix-or-range :ipv6 prefix-or-range :ipv4 prefix-or-range ...) ...) +(report-error :cust-id 42 + :error-token :your-hair-is-on-fire + :bag-of-data whatever) +=> () + ;;; Repository update protocol. Same basic CMS-signed XML mess we use |