Re: [w3c/manifest] Editorial: switch completely to infra types (#992)

@kenchris commented on this pull request.



> @@ -868,15 +871,16 @@ <h3>
         </p>
         <p>
           To <dfn>process the `related_applications` member</dfn>, given
-          [=object=] |json:JSON| and [=ordered map=] |manifest:ordered map|:
+          [=ordered map=] |json:ordered map| and [=ordered map=]

here you say "ordered map" in front of json and manifest. Elsewhere you just list it once. It is a bit inconsistent

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/manifest/pull/992#pullrequestreview-727106608