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

[Myles English]

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