From: Daniel Arndt Date: Thu, 23 Aug 2018 20:31:55 +0000 (+0200) Subject: Merge pull request #7104 from masterleinad/const_correctness_vol X-Git-Tag: v9.1.0-rc1~786 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bfc7399664c2f93cc65dcf5e1d6c01c9b9e4e094;p=dealii.git Merge pull request #7104 from masterleinad/const_correctness_vol Const-correctness in lac/vector_operations_internal.h --- bfc7399664c2f93cc65dcf5e1d6c01c9b9e4e094