More cleanup (!112) · Merge requests · staging / dune-uggrid · GitLab

Snippets Groups Projects

Merged Ansgar Burchardt requested to merge ansgar/dune-uggrid:cleanup-32 into master 6 years ago

Activity

Ansgar Burchardt enabled an automatic merge when the pipeline for 09468d48 succeeds 6 years ago

enabled an automatic merge when the pipeline for 09468d48 succeeds
Ansgar Burchardt merged 6 years ago

merged
Ansgar Burchardt mentioned in commit 4f0ceccd 6 years ago

mentioned in commit 4f0ceccd
Lukas Riedel mentioned in issue #41 (closed) 6 years ago

mentioned in issue #41 (closed)

Please register or sign in to reply