AM/PM removed from records in LogWidget

I think for the time stamp in the context of the logs 24-hour time format is more common, rather than 12-hour. What do you think about this?