From: Martin Kronbichler Date: Wed, 12 Feb 2020 10:18:03 +0000 (+0100) Subject: Merge pull request #9515 from GrahamBenHarper/graham_dev_vec_warnings X-Git-Tag: v9.2.0-rc1~533 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b4e0941ed2e781fb64df8537520c4db123841140;p=dealii.git Merge pull request #9515 from GrahamBenHarper/graham_dev_vec_warnings Remove some unused variable warnings in vectorization.h --- b4e0941ed2e781fb64df8537520c4db123841140