From: Daniel Arndt Date: Tue, 3 Apr 2018 22:47:49 +0000 (+0200) Subject: Merge pull request #6151 from bangerth/fix-grid-tools X-Git-Tag: v9.0.0-rc1~240 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=831f99e8012f768f9606125647d14b218f919280;p=dealii.git Merge pull request #6151 from bangerth/fix-grid-tools Pass const scalar arguments by value, rather than reference. --- 831f99e8012f768f9606125647d14b218f919280