Skip to content
GitLab
Unverified Commit 32824b8a authored by Eberhard Beilharz's avatar Eberhard Beilharz Committed by GitHub
Browse files

Merge pull request #8929 from keymanapp/fix/cherry-pick/core/8880_hotdoc-build 

fix(core): Fix compilation if hotdoc is installed 🍒
parents 7eb6347a fea33171
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment