Logger: Add double time in timestamp
All threads resolved!
All threads resolved!
Implement the first step of #482 (closed) which consists in adding the time (in double) inside the timestamps in order to deal with cosmology
Merge request reports
Activity
- Resolved by Pedro Gonnet
- Resolved by Pedro Gonnet
assigned to @matthieu
LGTM. @matthieu, all yours!
mentioned in commit a5740682
Please register or sign in to reply