paralect/robomongo — pull request #596 by VBelozyorov (2014-06-14 21:13:48+00:00)
Title: 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?