- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 11 Nov 2008 14:12:43 +0000
- To: public-html-bugzilla@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=6038
Tommy Thorsen <tommy@kvaleberg.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tommy@kvaleberg.com
--- Comment #2 from Tommy Thorsen <tommy@kvaleberg.com> 2008-11-11 14:12:43 ---
A third possible solution may be to remove the head element from the stack
instead of popping it.
--
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, 11 November 2008 14:12:55 UTC