<div dir="auto">Excellent!</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Dec 24, 2022, 10:29 PM Ben Gamari <<a href="mailto:ben@well-typed.com">ben@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">David Feuer <<a href="mailto:david.feuer@gmail.com" target="_blank" rel="noreferrer">david.feuer@gmail.com</a>> writes:<br>
<br>
> Does this release include the fix for #22549 (infinite loops for some<br>
> undecidable instances)?<br>
><br>
Yes, it includes a backport of !9485.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
</blockquote></div>