Skip to content

HTML writer: use the ID prefix in the ID for the footnotes section. #5196

HTML writer: use the ID prefix in the ID for the footnotes section.

HTML writer: use the ID prefix in the ID for the footnotes section. #5196

Triggered via push September 1, 2023 18:42
Status Success
Total duration 12s
Artifacts
check-commit-msg-length
3s
check-commit-msg-length
Fit to window
Zoom out
Zoom in