Merge pull request #6742
58981d4 Changed logging to make -logtimestamps to work also for -printtoconsole (Arne Brutschy)
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Oct 5 2015, 11:43 schancel Pushed on Jan 5 2018, 21:58 schancel Pushed on Jan 5 2018, 21:39 schancel Pushed on Jan 5 2018, 21:17 - Parents
- rSTAGING58981d4f7d3c: Changed logging to make -logtimestamps to work also for -printtoconsole
rSTAGINGa75c67364d34: Merge pull request #6744 - Branches
- Unknown
- Tags
Merged Changes
Merged Changes