> On 22 Nov 2023, at 10:08, Juergen Gross <[email protected]> wrote:
>
> 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>
Acked-by: Christian Lindig <[email protected]>
I am fine with removing it as well.
— C
