From 54e2730a127ca8133f69432e4e4f5d106944d122 Mon Sep 17 00:00:00 2001 From: Garrett Tanzer Date: Tue, 9 May 2023 13:52:23 -0400 Subject: [PATCH] Make "store a pending config" return the urn --- spec.bs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/spec.bs b/spec.bs index 6fbb5edf..61108b1e 100644 --- a/spec.bs +++ b/spec.bs @@ -436,6 +436,8 @@ then turn the pending config into a finalized config. Those procedures are as fo 1. Let |urn| be a randomly generated [=urn uuid=]. 1. [=map/Set=] |pendingMapping|[|urn|] to |config|. + + 1. Return |urn|.