From: Martin Kronbichler Date: Wed, 11 Sep 2019 05:41:14 +0000 (+0200) Subject: Merge pull request #8732 from bangerth/update-number-cache X-Git-Tag: v9.2.0-rc1~1121 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a27be0e429ffefb2f9ffe67a3cf19ddb55c4bd36;p=dealii.git Merge pull request #8732 from bangerth/update-number-cache Move the call to update_number_cache() after all other calls. --- a27be0e429ffefb2f9ffe67a3cf19ddb55c4bd36