Subject: Re: bug#57684: locked narrowing breaks existing code without an apparent way to repair

From: Lars Ingebrigtsen <[email-masked]>
Date: Fri, 09 Sep 2022 18:16:55 +0200

Gregory Heytings <[email-masked]> writes:

> This issue is being worked on, see the (not yet finished)
> feature/improved-locked-narrowing branch.

Is there much to be done on that branch before merging?