Marco: can you talk to the Octave Maintainers in Debian and find out if the upgrade for user is OK? (If it is, we should make sure that octave2.9 is removed from the archive too)
Marco: can you talk to the Octave Maintainers in Debian and find out if the upgrade for user is OK? (If it is, we should make sure that octave2.9 is removed from the archive too)