25 Dec
2022
25 Dec
'22
11:35 a.m.
Excellent! On Sat, Dec 24, 2022, 10:29 PM Ben Gamari <ben@well-typed.com> wrote:
David Feuer <david.feuer@gmail.com> writes:
Does this release include the fix for #22549 (infinite loops for some undecidable instances)?
Yes, it includes a backport of !9485.
Cheers,
- Ben