Skip to content

ci: pin hotdoc to 0.13.7 for 1.20 branch to work around build failures with hotdoc 0.14

Tim-Philipp Müller requested to merge tpm/gstreamer:pin-hotdoc-in-1.20-branch into 1.20

0.14 causes build failures, see #1582 (comment 1669723)

Merge request reports