Ticket #103 (closed defect: fixed)

Opened 6 months ago

Last modified 4 months ago

Duplicate entity found in trunk Re: Changeset 733

Reported by: thalam..@hotmail.com Assigned to:
Priority: major Milestone: 0.8.1
Version: Keywords:
Cc:

Description

http://greasemonkey.devjavu.com/browser/trunk/src/chrome/chromeFiles/locale/en-US/greasemonkey.dtd?rev=733

Duplicate ENTITY was entered in r733 regarding manage.button.close (See line 2 and 3)

Attachments

Change History

06/12/08 08:16:38 changed by aranti..@gmail.com

  • milestone changed from 0.8 to 0.8.1.

The core developers have voted; 0.8 will be released as is, any issues will be fixed in an 0.8 relesae. Thus: moving the milestone.

06/21/08 07:08:45 changed by aranti..@gmail.com

  • status changed from new to closed.
  • resolution set to fixed.

(In [746]) Fixes #103

  • Remove duplicate entity in DTD.

Add/Change #103 (Duplicate entity found in trunk Re: Changeset 733)




Action