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