Time Format in Comments

Hi, looks like there's a small bug: Even when having long / short date format in the 24h setting, the comments' time is shown in AM/PM format.