Please sync matita 0.5.2-1 from Debian(Unstable)
Bug #244921 reported by
Stefan Ebner
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| matita (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned | ||
Bug Description
Binary package hint: matita
matita (0.5.2-1) unstable; urgency=low
* New upstream release
-- Enrico Tassi <email address hidden> Wed, 02 Jul 2008 11:39:06 +0200
| Changed in matita: | |
| assignee: | nobody → sebner |
| status: | New → In Progress |
| Changed in matita: | |
| assignee: | sebner → nobody |
| status: | In Progress → New |
Revision history for this message
| Daniel Holbach (dholbach) wrote ACK of sync request | #1 |
Revision history for this message
| Martin Pitt (pitti) wrote | #2 |
| Changed in matita: | |
| status: | New → Fix Released |
To post a comment you must log in.
ACKed.