Closed Bug 750538 Opened 9 years ago Closed 9 years ago
I thought I removed these a while ago, but it looks like they're still there. Nothing depends on them any more.
Attachment #619729 - Flags: review?(igor)
Ping? This should be a very easy review.
Comment on attachment 619729 [details] [diff] [review] patch Dave, you were the one who pointed this out anyway.
Attachment #619729 - Flags: review?(igor) → review?(dmandelin)
Attachment #619729 - Flags: review?(dmandelin) → review+
Target Milestone: --- → mozilla15
Status: NEW → RESOLVED
Closed: 9 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.