- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 04 Oct 2006 05:31:50 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=3188
jmdyck@ibiblio.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |
------- Comment #2 from jmdyck@ibiblio.org 2006-10-04 05:31 -------
You brought in a "statEnv |-" with a bold turnstile, but you didn't delete the
existing one with the non-bold turnstile.
Received on Wednesday, 4 October 2006 05:31:56 UTC