-
Reinhard Prix authored
- now that CPUtime is actually returned, the output of 'search started at' was seen to have erroneously used the CPU time output - make LogGetTimestamp() visible from outside LogPrintf, which seems reasonable to me - refs #5411 Original: 4d7ddb234b146114d403323cc5a0683b11f5e184
2358ba63