|
| From: | Gregory Heytings |
| Subject: | bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing. |
| Date: | Fri, 12 May 2023 22:18:07 +0000 |
Could you please try installing this and merge the branch soon? I'd like to released the next pretest with these changes.I'll do that in at most a few hours.
Done.
| [Prev in Thread] | Current Thread | [Next in Thread] |