From: David Wells Date: Mon, 9 Oct 2017 21:33:42 +0000 (-0400) Subject: Merge pull request #5213 from masterleinad/intel18_4 X-Git-Tag: v9.0.0-rc1~976 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=725f1aa1957da60303f8fcd4e3fed3e4639e63b7;p=dealii.git Merge pull request #5213 from masterleinad/intel18_4 Move default pure virtual destructor of Function --- 725f1aa1957da60303f8fcd4e3fed3e4639e63b7