Commit dd190545 authored by Hubert Chathi's avatar Hubert Chathi
Browse files

fix doc building. Thanks to Jonas Smedegaard.

parent 99088629
Pipeline #15970 passed with stages
in 4 minutes and 51 seconds