Feature/debugstream destructor exception (!35) · Merge requests · Core Modules / dune-common · GitLab

Snippets Groups Projects

An error occurred while fetching the assigned milestone of the selected merge_request.

Merged Christoph Grüninger requested to merge feature/debugstream-destructor-exception into master 9 years ago

Activity

Christoph Grüninger Added 11 commits: 9 years ago
Added 11 commits:

c89b67b6...0c7bad85 - 9 commits from branch master

45797c46 - Mark destructor of DebugStream as noexcept(false)

b8fa8c21 - [cleanup] Get rid of ill-placed semicolons after closing curled brackets
Christoph Grüninger mentioned in commit f7c01419 9 years ago

mentioned in commit f7c01419
Christoph Grüninger Status changed to merged 9 years ago

Status changed to merged
Christoph Grüninger Added backport label 9 years ago

Added backport label
Christoph Grüninger Mentioned in commit f7c01419 8 years ago

Mentioned in commit f7c01419

Please register or sign in to reply