[Ocaml-devel] Re: Seems like maybe the coq / ephemeron thing has been fixed?

[Jerry James]

On Tue, Jul 20, 2021 at 8:47 AM Richard W.M. Jones <rjones(a)redhat.com&gt; wrote:
>  https://github.com/ocaml/ocaml/issues/9391
>  https://github.com/ocaml/ocaml/commit/4716c8e063604b6a9788f36da32c16ba022...
>
>  We should pick it up in OCaml 4.13 and I'll try rebuilding
>  Coq with it at that time. 
Oh, I hope that's the fix.  That would be great.

Side note: I noticed your messages to the OCaml list kept getting held
for moderation because you are subscribed under your
@fedoraproject.org address, but post from your @redhat.com address.  I
tried tweaking the settings on the list to fix this.  We'll see if I
succeeded the next time you send something.
-- 
Jerry James
http://www.jamezone.org/