[aur-general] Duplicate package php-mongodb

Package php-mongodb [1] is a duplicate of php-mongo[2]. I emailed the maintainer of php-mongodb, he is fine with the it being merged into php-mongo. Can these be merged (or php-mongodb deleted)? [1] https://aur.archlinux.org/packages/php-mongodb/ [2] https://aur.archlinux.org/packages/php-mongo/ Thanks, Jarek Sedlacek