]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7960 from bangerth/fix-18
authorLuca Heltai <luca.heltai@gmail.com>
Thu, 25 Apr 2019 08:18:16 +0000 (10:18 +0200)
committerGitHub <noreply@github.com>
Thu, 25 Apr 2019 08:18:16 +0000 (10:18 +0200)
commit6ffd2e23eea2d3bdd9c7b346948334f448991b7e
tree898df8f90b284f71703b4188d4974e9be3c07090
parent94bd3c4fdbf243c93e696c729c8d9a2d9fa2813a
parent3f44cce3ac84f72a691c4412ac94d33d230ec02a
Merge pull request #7960 from bangerth/fix-18

Fix a mistaken assertion that only succeeds by accident.

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.