- From: <bugzilla@jessica.w3.org>
- Date: Tue, 19 Jul 2011 13:49:11 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=13298 --- Comment #3 from Gabriel Petrovay <gabipetrovay@gmail.com> 2011-07-19 13:49:11 UTC --- In my opinion any of the two solutions in the end of my initial comment is good: 1. Remove all unnecessary productions or 2. Add the missing ones For 1 (which I favour), unnecessary does not mean *all*. Taking a few examples: [55] is explicit enough on it's own and does not need more productions. [150] should be as [152] (or the other way round if solution 2 is the decision) But, yes they have to be checked each individually to see if: - they make sense - they are used in other specs -- Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the QA contact for the bug.
Received on Tuesday, 19 July 2011 13:49:16 UTC