This is a tracking bug for the second merge from tamarin-redux to tamarin-central, tentatively scheduled for Monday, 22 December, 2008. Please add all dependencies as blocking bugs tothis bug.
Status: ASSIGNED → RESOLVED
Last Resolved: 10 years ago
Resolution: --- → FIXED
Merge completed on 19 February 2009 14:20 GMT+0100
You need to log in before you can comment on or make changes to this bug.