Skip to content
Snippets Groups Projects

[bugfix][ThreadHandle] adjust to changes in ThreadManager.

Failed
Robert K created pipeline for commit 944a0aff
, finished
1 related merge request: !4 Latest features added to dune-fem-dg.
2 jobs 41 seconds, queued for 1 seconds