From: Jean-Paul Pelteret Date: Tue, 21 Nov 2017 05:57:48 +0000 (+0100) Subject: Merge pull request #5482 from jppelteret/ad-sacado_product_type X-Git-Tag: v9.0.0-rc1~746 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2055835ead82c82077a054d1a1645639194c4a14;p=dealii.git Merge pull request #5482 from jppelteret/ad-sacado_product_type Remove redundant specializations of scalar_product for Sacado numbers --- 2055835ead82c82077a054d1a1645639194c4a14