From: Matthias Maier Date: Tue, 30 Dec 2014 00:38:47 +0000 (+0100) Subject: Merge pull request #388 from bangerth/fix-missing-instantiations X-Git-Tag: v8.3.0-rc1~578 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=824b02deb4cfc196a1a0baf235bfb5bf29401adc;p=dealii.git Merge pull request #388 from bangerth/fix-missing-instantiations Fix missing instantiations. --- 824b02deb4cfc196a1a0baf235bfb5bf29401adc