The timestamps are useful for testing, but we do not want to use a different log format than upstream (for upstreaming of bug reports, automatic processing of logs, googling etc).
I'll fix the bug anyway, we can use the timestamping in our development versions.
The timestamps are useful for testing, but we do not want to use a different log format than upstream (for upstreaming of bug reports, automatic processing of logs, googling etc).
I'll fix the bug anyway, we can use the timestamping in our development versions.