On 22.11.23 11:06, Andrew Cooper wrote:
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."
Fine with me. Juergen
OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key
OpenPGP_signature.asc
Description: OpenPGP digital signature
