]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5744 from masterleinad/fix_coverity
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Wed, 17 Jan 2018 23:52:24 +0000 (00:52 +0100)
committerGitHub <noreply@github.com>
Wed, 17 Jan 2018 23:52:24 +0000 (00:52 +0100)
commitc2c8abb2fd91051742f288b29fdb720c0fc8bac0
tree5b940b45c8375fa3eb6cf5c8eb46cf91fcf50dfd
parent0d2237a2ee61d1dbcfab65b91c273384cee3681b
parentb1cf626e9892134b82013b7f7b993752792145bd
Merge pull request #5744 from masterleinad/fix_coverity

Fix issues reported by Coverity

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.