Ubuntu
mantis package

  1. Bug #557378
  2. Comment #3

Comment 3 for bug 557378

Revision history for this message
cebe (cedric-briffon) wrote :

hello,
is there a solution to manually remove mantis and install the new version ?

cebe.