2018-06-15 08:57+0200, Andrew Jones: > On Thu, Jun 14, 2018 at 11:38:45AM -0700, Peter Shier wrote: > > Hi Andrew, > > > > I just noticed that this patch has not been merged. I was under the > > impression that you did not want any other changes. Is there something else > > that needs to be done? > > Just Paolo or Radim need to commit it. I've CC'ed them. Before I push it, I'd like to confirm that you meant to say "... compatible with Bash 4.1 and *earlier*" in the subject. We've been already 4.2 compatible and the new construction probably was in bash since version 2, so I would change it. Thanks.
