From 3d20e8bb64f4f5ff1831012fd3f6d1fc8da49c2b Mon Sep 17 00:00:00 2001 From: Jon Ludlam Date: Wed, 12 Feb 2025 12:45:05 +0000 Subject: [PATCH] Update CHANGES --- CHANGES.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index fbb7aa3d61..28a0c6b503 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -23,6 +23,8 @@ - Fix incomplete handling of `--suppress-warnings` (now `--warnings-tag`) (@jonludlam, #1304) - Fix bug in odoc_driver_voodoo related to virtual libraries (@jonludlam, #1309) +- Fix issue #610 where `odoc html-fragment` wasn't rendering headings correctly + (@jonludlam, #1306) # 3.0.0~beta1