use double in log
Passed
Olivier Sauter
created pipeline for commit
b5a96a92
, finished
1 related merge request: !164 Fix mdsplus aug type
3 minutes 42 seconds, queued for 3 seconds