tree a519e0b15e05934c62f293c3c6b11c5ebda94da1
parent 45898d2215e9c12ff1823a69d06ea7afa2f870bb
author Davide Pesavento <davide.pesavento@lip6.fr> 1524244218 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1524244218 -0400

core: silence truncation warning in LoggerTimestamp's operator<<

Change-Id: I85882bf5589fbdb8239deec285509c123740ec25
Refs: #4365