Skip to content
Commit 39fc1a41 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Fix Firedrake doc failure

parent 4cb7c84e
Pipeline #541695 failed with stage
in 5 hours, 5 minutes, and 50 seconds