Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > gnu.bash.bug > #16377

Re: core dump an alt. alt1 alt.

From Mike Jonkmans <bashbug@jonkmans.nl>
Newsgroups gnu.bash.bug
Subject Re: core dump an alt. alt1 alt.
Date 2020-06-09 18:56 +0200
Message-ID <mailman.1521.1591721819.2541.bug-bash@gnu.org> (permalink)
References <20200608225428.9A3DB1257DF@mail.jonkmans.nl> <1c35c79d-3a73-2204-8814-16ba46f4f5aa@case.edu> <20200609091918.GA21994@jonkmans.nl> <a9767b8e-2f27-6f21-d532-b4a14a5f55e9@case.edu> <20200609165650.GB21994@jonkmans.nl>

Show all headers | View raw


On Tue, Jun 09, 2020 at 11:46:22AM -0400, Chet Ramey wrote:
> 
> In any event, I believe the changes in the next devel branch push should
> fix these.

Thanks Chet, that explanation made sense.
If i can find the time I will try to test the devel branch.

Regards,

-- 
Mike Jonkmans <bashbug@jonkmans.nl>

Back to gnu.bash.bug | Previous | Next | Find similar


Thread

Re: core dump an alt. alt1 alt. Mike Jonkmans <bashbug@jonkmans.nl> - 2020-06-09 18:56 +0200

csiph-web