[svgwg] Merged Pull Request: Tag production rules with prod class

• From: Eric Willigers via GitHub <sysbot+gh@w3.org>
• Date: Mon, 30 Jul 2018 10:21:50 +0000
• To: public-svg-issues@w3.org
• Message-ID: <pull_request.closed-201419965-1532946109-sysbot+gh@w3.org>

ewilligers has just merged ewilligers's pull request 501 for https://github.com/w3c/svgwg:

== Tag production rules with prod class ==
resolves #499

See https://github.com/w3c/svgwg/pull/501

Received on Monday, 30 July 2018 10:21:52 UTC