]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #5854 from masterleinad/fix-coverity
authorWolfgang Bangerth <bangerth@colostate.edu>
Sun, 4 Feb 2018 22:21:21 +0000 (15:21 -0700)
committerGitHub <noreply@github.com>
Sun, 4 Feb 2018 22:21:21 +0000 (15:21 -0700)
commit83703102e3731b720944300c6af1218d161c6393
tree3a1f9c5b96f25473ff8e15740f9a1bfa0b831fe0
parent2bd21498d22e766b200020caa19c181c447a96f1
parent7e1b92e928e5225e43a3e483757802c5e3a286b6
Merge pull request #5854 from masterleinad/fix-coverity

Fix issues discovered 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.