]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9619 from bangerth/warnings
authorDaniel Arndt <arndtd@ornl.gov>
Thu, 5 Mar 2020 04:27:40 +0000 (23:27 -0500)
committerGitHub <noreply@github.com>
Thu, 5 Mar 2020 04:27:40 +0000 (23:27 -0500)
commit925bf050f0a11ab45cb7563304be491b6f1f2fae
treeea265beb57e1152351984888e18b0f93e258f128
parent5a38776d6b8e6a87ff07f8b068a7e05e83f8b269
parent7c8541cfac15b8ab0bdc9086ccacd936abc17abc
Merge pull request #9619 from bangerth/warnings

Avoid a bunch of warnings in release mode.

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.