Ondřej, please don't Cc submit@... On Thu, Mar 24, 2016 at 8:37 AM, Ondřej Surý <ond...@sury.org> wrote: > Nah, the new MongoDB extension is called mongodb. Exactly.
> Just remove this package and I'll do transitional package from > src:php-mongodb Just noted Mathieu about it. :) Should the removal and transition start immediately? Laszlo/GCS
