On Thu, Feb 20, 2020 at 04:17:48PM -1000, David Prévot wrote: > Hi Moritz, > > Le 20/02/2020 à 12:43, Moritz Mühlenhoff a écrit : > > > let's remove this (and php-php-mongodb)? There are no rev deps in the > > archive > > Sure, please proceed. I uploaded those in order to enable mongoDB tests > in other packages (before being aware of the mongoDB state) so they are > pretty useless.
Ack, I've just filed removal bugs.
Cheers,
Moritz
