Skip to content

Merge branch 'fastest_logging' into 'master'

Jeremie Deray requested to merge cherry-pick-866b9a03 into master

fastest logging

See merge request !119 (merged)

Fixing !119 (merged) that was reverted.

Merge request reports