]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7384 from bangerth/fix-warning
authorJean-Paul Pelteret <jppelteret@gmail.com>
Fri, 26 Oct 2018 05:31:00 +0000 (07:31 +0200)
committerGitHub <noreply@github.com>
Fri, 26 Oct 2018 05:31:00 +0000 (07:31 +0200)
commitd4a35970fbc4a538b4c504a5c816d53e79353f8a
tree82f2fc559fe8c0729d280aebb7c1dd5d411507a6
parenta4f29431f3fa533aff0ac2062a4f26742c65c340
parentd7089cf4cf05fe2d6f4e991719ff084850b84bcc
Merge pull request #7384 from bangerth/fix-warning

Fix a warning about an unused 'using' declaration 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.