Fix issue #610 - odoc html-fragment not producing headings correctly
#1164
| Job | Run time |
|---|---|
| 8s | |
| 8s |
odoc html-fragment not producing headings correctly
#1164
| Job | Run time |
|---|---|
| 8s | |
| 8s |