From: Wolfgang Bangerth Date: Fri, 20 Jan 2017 14:41:07 +0000 (-0700) Subject: Merge pull request #3808 from bangerth/be-more-concise-with-update-flags X-Git-Tag: v8.5.0-rc1~220 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=09dec7c29b5acd53a20b89c25e7dfdfc30af1556;p=dealii.git Merge pull request #3808 from bangerth/be-more-concise-with-update-flags Better track which UpdateFlags are required for which operation. --- 09dec7c29b5acd53a20b89c25e7dfdfc30af1556