On 22/11/2023 7:21 am, Juergen Gross wrote: > diff --git a/CHANGELOG.md b/CHANGELOG.md > index c341c9d0bf..bbb3cd5beb 100644 > --- a/CHANGELOG.md > +++ b/CHANGELOG.md > @@ -14,6 +14,8 @@ The format is based on [Keep a > Changelog](https://keepachangelog.com/en/1.0.0/) > for IPIs and Physical addressing mode for external interrupts. > > ### Removed > +- caml-stubdom has been removed. It didn't build since 2014, so nobody seems > + to care.
May I suggest some different phrasing. "caml-stubdom. It hasn't built since 2014, was pinned to Ocaml 4.02, and has been superseded by the MirageOS/SOLO5 projects." Also, one last ping to anyone Ocaml folks for any comment whatsoever. ~Andrew
