[Bug 7211] define "positive integer" and use it consistently, instead of "non-negative integer greater than zero" from bugzilla@wiggum.w3.org on 2009-09-09 (public-html-bugzilla@w3.org from September 2009)

From: <bugzilla@wiggum.w3.org>
Date: Wed, 09 Sep 2009 06:38:27 +0000
To: public-html-bugzilla@w3.org
Message-Id: <E1MlGp1-0001uc-1u@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=7211





--- Comment #3 from Michael(tm) Smith <mike@w3.org>  2009-09-09 06:38:26 ---
I raised this just as a suggestion for improvement and I don't feel strongly
that any change is absolutely necessary. So the WONTFIX resolution on this is
OK by me.


-- 
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 Wednesday, 9 September 2009 06:38:38 UTC