Merge branch 'master' into ListOfRHS_for_ApplyResolvent
Passed
Guillaume Demesy
created pipeline for commit
e42997c4
, finished
1 related merge request: !80 List of rhs for apply resolvent
1 minute 41 seconds, queued for 10 seconds