From: David Wells Date: Sat, 19 Jan 2019 03:31:01 +0000 (-0500) Subject: Merge pull request #7613 from drwells/rename-reserved-identifiers X-Git-Tag: v9.1.0-rc1~427 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=aa383d1ddb5d38e3862066a494229a62a0f041d1;p=dealii.git Merge pull request #7613 from drwells/rename-reserved-identifiers Avoid reserved identifier names in AlignedVector. --- aa383d1ddb5d38e3862066a494229a62a0f041d1