From: Denis Davydov Date: Sun, 14 Oct 2018 03:31:20 +0000 (+0200) Subject: Merge pull request #7348 from masterleinad/avoid_warninigs_ad_drivers X-Git-Tag: v9.1.0-rc1~620 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b0e8583afce01e7851f6a37435e771fbfcbc90ad;p=dealii.git Merge pull request #7348 from masterleinad/avoid_warninigs_ad_drivers Avoid warnings in ad_drivers.h --- b0e8583afce01e7851f6a37435e771fbfcbc90ad