Mark getRealImplementation private again (!170) · Merge requests · Core Modules / dune-grid · GitLab

Snippets Groups Projects

Merged Marco Agnese requested to merge getrealimp_again_private into master 8 years ago

Activity

Marco Agnese mentioned in merge request !168 (merged) 8 years ago

mentioned in merge request !168 (merged)
Marco Agnese @marco.agnese · 7 years ago

Author Developer

Hi @oliver.sander , since you took care of !168 (merged) and this MR is related to it, do you mind to merge?
Oliver Sander mentioned in commit a7aa426a 7 years ago

mentioned in commit a7aa426a
Oliver Sander merged 7 years ago

merged

Please register or sign in to reply