Closed matthiasdiener closed 11 months ago
Fixes the readthedocs build (https://readthedocs.org/projects/mirgecom/builds/23032216/)
Fixes the readthedocs build (https://readthedocs.org/projects/mirgecom/builds/23032216/)