Skip to content
Snippets Groups Projects

use `weak_ptr`'s `lock()` method to allow case of no coarser level

Passed
Ansgar Burchardt created pipeline for commit 0ed780fd
, finished
1 related merge request: !297 use `weak_ptr`'s `lock()` method to allow case of no coarser level
branch
6 jobs 42 minutes 45 seconds, queued for 3 seconds