Time format for log files

Hello, using the table log of loadUI Pro there are two possibilities to save timestamps in log files: unformatted and formated. Unfortunately the default format is not suitable for our needs: ...