Subject: Re: bug#56682: feature/improved-locked-narrowing 9dee6df39c: Reworked locked narrowing.

From: dick <[email-masked]>
Date: Wed, 01 Feb 2023 15:46:43 -0500

EZ> which promised to work on a month ago?

What's with the butt-hurt?  Narrowing guy just spent two whole days unto
the breach, and made a heroic concession, one which I could never make.
Of everyone here, you most of all should empathize with "code blinders,"
or every programmer's inclination to marshall arguments, however flimsy,
to preserve man-months of one's own work.