Skip to content
Check Changelog

Fix issue #610 - odoc html-fragment not producing headings correctly #1164

Sign in to view logs

Fix issue #610 - odoc html-fragment not producing headings correctly

Fix issue #610 - odoc html-fragment not producing headings correctly #1164

Check Changelog Action

Check Changelog Action
succeeded Feb 25, 2025 in 8s