From 9712305f823b946cd77963131c2a80f14a860c29 Mon Sep 17 00:00:00 2001 From: Anne van Kesteren Date: Thu, 14 Nov 2024 11:46:39 +0000 Subject: [PATCH] oops --- infra.bs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/infra.bs b/infra.bs index 1190b08..cd84b22 100644 --- a/infra.bs +++ b/infra.bs @@ -2060,7 +2060,8 @@ given a string |string|:

Because it is rarely appropriate to manipulate JavaScript values directly in specifications, prefer using serialize an Infra value to a JSON string or serialize an Infra value to JSON bytes instead of using this algorithm. Please -file an issue to discuss your use case if you believe you need to use convert an Infra value to a JSON-compatible JavaScript value. +file an issue to discuss your use case if +you believe you need to use convert an Infra value to a JSON-compatible JavaScript value.