BASH version 7 fixes two bugs

Version 7 of BASH is available and fixes two bugs leading to inconsistent rows in BASH$HIST_ACTIVE_SESS_HISTORY. Thanks to Robert Ortel for reporting and tracking down the cause. If you already …