W3C home > Mailing lists > Public > www-international@w3.org > October to December 2016

[uievents] Issue: Ed: MAY may not be appropriate marked as i18n-comment

From: r12a via GitHub <sysbot+gh@w3.org>
Date: Fri, 16 Dec 2016 14:17:07 +0000
To: www-international@w3.org
Message-ID: <issues.labeled-196068936-None-sysbot+gh@w3.org>
r12a has just labeled an issue for https://github.com/w3c/uievents as 
"i18n-comment":

== Ed: MAY may not be appropriate ==
5.1.1. Key Legends
https://w3c.github.io/uievents/#key-legends

The spec uses MAY in the first para, though this is an informative 
section.

See https://github.com/w3c/uievents/issues/124
Received on Friday, 16 December 2016 14:17:13 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:41:11 UTC