From: Wolfgang Bangerth Date: Mon, 15 Aug 2016 02:40:00 +0000 (-0500) Subject: Merge pull request #2962 from drwells/redo-epsflagsbase-assignment X-Git-Tag: v8.5.0-rc1~771 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ced96d8ef8d7e6ccac7db8c28d3f0bab8a30c9be;p=dealii.git Merge pull request #2962 from drwells/redo-epsflagsbase-assignment Don't possibly dereference a null pointer. --- ced96d8ef8d7e6ccac7db8c28d3f0bab8a30c9be