From: Daniel Arndt Date: Fri, 16 Jun 2017 22:51:40 +0000 (+0200) Subject: Merge pull request #4505 from bangerth/strict-enums X-Git-Tag: v9.0.0-rc1~1497 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a8fe721a9645956ebc5064aa330a59bb8ce70f8a;p=dealii.git Merge pull request #4505 from bangerth/strict-enums Use only enum values, don't look at bits. --- a8fe721a9645956ebc5064aa330a59bb8ce70f8a