4 ms·Sounds like the convention used in some countries for time, using e.g. 9h20 instead of 9:20by moonchild 6y agoSounds like the convention used in some countries for time, using e.g. 9h20 instead of 9:20