Commit b15e497d4de5b04537217117137f7756dc535c2f

Matthias Clasen 2022-01-13T14:10:23

Fix the docs build This was inadvertendly broken in f956ecdbaffbb8643. Sorry