Closed
Bug 478870
Opened 16 years ago
Closed 16 years ago
Merge tamarin-redux to tamarin-central (march 2009)
Categories
(Tamarin Graveyard :: Virtual Machine, defect)
Tracking
(Not tracked)
VERIFIED
FIXED
People
(Reporter: lhansen, Unassigned)
References
Details
This is a tracking bug for the (projected) mid-March 2009 merge from tamarin-redux to tamarin-central. Please make bugs that must be fixed for that release blockers of this bug.
Reporter | ||
Updated•16 years ago
|
Reporter | ||
Updated•16 years ago
|
Summary: Merge tamarin-redux to tamarin-central → Merge tamarin-redux to tamarin-central (march 2009)
Remove 466771 from the list of blockers. If it is a bug at all, the fix is probably adding a comment to the verifier code.
No longer depends on: 466671
Reporter | ||
Updated•16 years ago
|
Updated•15 years ago
|
Status: RESOLVED → VERIFIED
You need to log in
before you can comment on or make changes to this bug.
Description
•