change timeformat hh:mm:ss to not return AM/PM anymore, introduce 'h:mm:ss xx' and 'hh:mm:ss xx' for that purpose
Merge pull request #2321 from herrnst/timeformat

change timeformat hh:mm:ss to not return AM/PM anymore, introduce 'h:mm:ss xx' and 'hh:mm:ss xx' for that purpose