From: Denis Davydov Date: Sat, 21 Oct 2017 06:04:14 +0000 (+0200) Subject: Merge pull request #5282 from bangerth/rename-member X-Git-Tag: v9.0.0-rc1~916 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=388f9eb19cb218f0117d99db2ad9e302ab453e10;p=dealii.git Merge pull request #5282 from bangerth/rename-member Rename Vector::val to Vector::values. --- 388f9eb19cb218f0117d99db2ad9e302ab453e10