From: Timo Heister Date: Sat, 19 Dec 2020 17:30:16 +0000 (-0500) Subject: Merge pull request #11399 from bangerth/x3 X-Git-Tag: v9.3.0-rc1~735 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2032d9b4cffa2e10e87a4709a944119b80d7c940;p=dealii.git Merge pull request #11399 from bangerth/x3 Remove compatibility code for GCC versions prior to 5.0. --- 2032d9b4cffa2e10e87a4709a944119b80d7c940