Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #178 from firedrakeproject/fix/facet-avg
* fix/facet-avg: Perhaps fix translation of facet_avg
- Loading branch information