Merge branch 'firedrake' of https://gitlab.tiker.net/inducer/loopy into...
Merge branch 'firedrake' of https://gitlab.tiker.net/inducer/loopy into new_function_interface_opaque_type
Merge branch 'firedrake' of https://gitlab.tiker.net/inducer/loopy into new_function_interface_opaque_type