[aur-general] request: merge and delete fenics packages (dolfin etc.)

Hi, Please would a TU merge and delete the following? The fenics project recently moved all its packages from Bazaar to Git, so: for i in dolfin fenics ffc fiat instant ufc ufl viper; do echo "merge then delete https://aur.archlinux.org/packages/${i}-bzr to https://aur.archlinux.org/packages/${i}-git" done (Is that helpful or too lazy?) Thanks, Myles