Re: bash -xv issue with stderr

[Zachary Santer]

On Mon, Nov 4, 2024 at 3:21 AM Christoph Zimmermann
<monochro...@gmail.com> wrote:
>
> As I can't seem to find this:

 https://git.savannah.gnu.org/git/bash.git