From 078b26b7d60086b4e0ac7caebf5681240451c689 Mon Sep 17 00:00:00 2001
From: Nikolay Vitkov <nvitkov@chromium.org>
Date: Wed, 6 Mar 2024 11:13:01 +0100
Subject: [PATCH] Better CDDL for `session.SubscriptionRequest`

---
 index.bs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.bs b/index.bs
index d7a00a23..04076375 100644
--- a/index.bs
+++ b/index.bs
@@ -1645,8 +1645,8 @@ session.SystemProxyConfiguration = (
 
 <pre class="cddl remote-cddl">
 session.SubscriptionRequest = {
-  events: [*text],
-  ? contexts: [*browsingContext.BrowsingContext],
+  events: [+text],
+  ? contexts: [+browsingContext.BrowsingContext],
 }
 </pre>