Report question

Question: Python logging: use milliseconds in time format