From: Wolfgang Bangerth Date: Thu, 20 Sep 2018 16:32:49 +0000 (-0600) Subject: Merge pull request #7218 from jppelteret/fix_7211 X-Git-Tag: v9.1.0-rc1~699 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a1861141d634dbca920ad4e02143e828ea2652d6;p=dealii.git Merge pull request #7218 from jppelteret/fix_7211 Fix undefined reference to some ADNumberTraits static variables. --- a1861141d634dbca920ad4e02143e828ea2652d6