Commit dfa40b10 authored by Jö Fahlke's avatar Jö Fahlke

[!693] Add a method "exists" to ParallelIndexSet that checks if a global id is...

[!693] Add a method "exists" to ParallelIndexSet that checks if a global id is already in the index set.

Merge branch 'addexistsonparallelindexset' into 'master'

See merge request [!693]

  [!693]: Nonecore/dune-common/merge_requests/693
parents ca649c1a 584da358
Pipeline #19641 passed with stage
in 5 minutes and 17 seconds