Bug: fix fenics package#609

schnellerhase wants to merge 3 commits intodevcontainers:gh-pagesdevcontainers/devcontainers.github.io:gh-pagesfrom

schnellerhase:fix-fenicsschnellerhase/devcontainers.github.io:fix-fenicsCopy head branch name to clipboard