Re: [heycam/webidl] Incorrect rendering of decimal terminal as nonterminal in HTML (#815) from Ms2ger on 2019-10-08 (public-webapps-github@w3.org from October 2019)

From: Ms2ger <notifications@github.com>
Date: Tue, 08 Oct 2019 00:46:13 -0700
To: heycam/webidl <webidl@noreply.github.com>
Cc: Subscribed <subscribed@noreply.github.com>
Message-ID: <heycam/webidl/issues/815/539391704@github.com>

At the very least, we should import that code into this repo. I wouldn't mind seeing it rewritten in python either, but that's not urgent.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/issues/815#issuecomment-539391704

Received on Tuesday, 8 October 2019 07:46:35 UTC