]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6379 from drwells/no-subscripers-noexcept
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Sat, 28 Apr 2018 23:31:14 +0000 (01:31 +0200)
committerGitHub <noreply@github.com>
Sat, 28 Apr 2018 23:31:14 +0000 (01:31 +0200)
commitc7479f4df4f9680560ff8146c95298eb5b44621e
tree6f369432bd72c9389abbe1feb6cfaa32df1890e0
parent1973f0856e58f00f3a43a4eb403b562fc7f3fb77
parent616ba477a4563cce85b578f2916eef688d9a36ff
Merge pull request #6379 from drwells/no-subscripers-noexcept

Mark Subscriptor::check_no_subscribers as noexcept.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.