[Bug 12573] Tweak definition of user option

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

C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|decided                     |resolved
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #2 from C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> 2011-06-02 19:42:03 UTC ---
The change agreed upon in the call of 6 May has now been integrated into the
status-quo version of the document, so I'm closing this issue.

-- 
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 Thursday, 2 June 2011 19:42:20 UTC