On Friday 26 September 2014 21:35:15 Harry Putnam wrote: > > When did you last run 'apt-get update' or similar? > > Bingo... last upd was last week. But running it just now, followed by > full-upgrade got me a new bash version. Sorry. Very careless of me. :-( Blame the lateness of the hour. Lisi