* Sébastien Villemot <sebastien@debian.org> [2018-01-09 20:43]:
Since there is technically no need to modify octave-interval, the regular procedure in this kind of situation is rather to ask for a give-back (see https://release.debian.org/wanna-build.html).
I think you have more experience with give-backs than me. Could you please do it?
Rafael