Wladimir J. van der Laan
|
f18b8ec7cf
|
Make sure LogPrintf strings are line-terminated
Fix the cases where LogPrint[f] was accidentally called without line
terminator, which resulted in concatenated log lines.
(see e.g. #6492)
|
2015-08-03 17:40:55 +02:00 |
|