[Bug 701250] bash HISTTIMEFORMAT displays unexpected results