Subject: Re: [PATCH] tap: followups for the new `--stderr-prefix' option

From: Karl Berry <[email-masked]>
Date: Mon, 24 Feb 2025 15:41:54 -0700

I have some minor follow-up commits, attached:

Looks good to me. Pushed. Thanks again, Richard. -k