Closed lkeegan closed 1 year ago
this should be fixed by https://gitlab.dune-project.org/staging/dune-logging/-/merge_requests/19/diffs
fixed upstream, fmt bumped in 65f5177
this should be fixed by https://gitlab.dune-project.org/staging/dune-logging/-/merge_requests/19/diffs