On 2/10/18 11:52 PM, galtge...@o2.pl wrote:
> Bash Version: 4.4
> Patch Level: 12
> Release Status: release
>
> Description:
> A detailed report is at
> https://bugzilla.gnome.org/show_bug.cgi?id=787157.
This report is from last September. Please try it with bash-4.4.19 (there
is one patch in that set that may be relevant) and the version from the
devel git branch on Savannah. There have been several changes in the last
five months, and I'd prefer not to work on the same bug twice. Thanks.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/
