1. 2013-11-02 Re: The default value of TIMEFORMAT is incorrectly fo bash-bug Geir Hauge 2. 2013-11-02 Re: The default value of TIMEFORMAT is incorrectly fo bash-bug Chet Ramey 3. 2013-11-01 The default value of TIMEFORMAT is incorrectly format bash-bug Seungbeom Kim 4. 2013-11-01 The default value of TIMEFORMAT is incorrectly format bash-bug Seungbeom Kim