From: Timo Heister Date: Fri, 24 Feb 2017 15:43:56 +0000 (-0500) Subject: Merge pull request #4001 from masterleinad/rm_explicit_instant X-Git-Tag: v8.5.0-rc1~96 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c3bf850615aa5e6d51bea860cb08932f2e6f38cd;p=dealii.git Merge pull request #4001 from masterleinad/rm_explicit_instant Remove redundant explicit instantiation --- c3bf850615aa5e6d51bea860cb08932f2e6f38cd