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

From: <bugzilla@wiggum.w3.org>
Date: Tue, 04 Aug 2009 10:58:46 +0000
To: public-html@w3.org
Message-Id: <E1MYHjC-0004wH-Ap@wiggum.w3.org>

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


Michael(tm) Smith <mike@w3.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |NE




-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

Received on Tuesday, 4 August 2009 10:59:01 UTC