[m-dev.] ROTDs broken since rotd-2023-12-13

Zoltan Somogyi zoltan.somogyi at runbox.com
Fri Dec 15 15:20:58 AEDT 2023


On 2023-12-15 02:49 +11:00 AEDT, "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> Approach two would be easiest to implement, and a comment on
> the module_info field saying that the pred_ids there may be dangling
> references, and that this is ok, would make it semantically ok as well.
> This is my preferred solution. What are yours?

In the absence of an objection, I have commit a fix using approach two.

Zoltan.


More information about the developers mailing list