From: Matthias Maier Date: Thu, 17 Sep 2015 18:08:26 +0000 (-0500) Subject: Merge pull request #1621 from pesser/gnu-compiler-warning X-Git-Tag: v8.4.0-rc2~399 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=817b5a7f5a24c8a4c3b2943611536621b1efcafd;p=dealii.git Merge pull request #1621 from pesser/gnu-compiler-warning add -Woverloaded-virtual flag for gnu compiler --- 817b5a7f5a24c8a4c3b2943611536621b1efcafd