On Tue, Nov 22, 2022 at 02:30:38PM -0500, Waiman Long wrote:> I have just sent out a new patch to fix that before I saw your email. I do> forgot to put -tip in the subject line.I found it; I'll stare at it in the morning. Things don't seem to wantto make much sense anymore today :-)