From: Bruno Turcksin Date: Fri, 6 Nov 2015 17:59:51 +0000 (-0600) Subject: Merge pull request #1838 from bangerth/replace-update-once-each X-Git-Tag: v8.4.0-rc2~246 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=48e4f99b0ad07bfeb6866ee4d9265cad35305d4d;p=dealii.git Merge pull request #1838 from bangerth/replace-update-once-each Replace update_once/each --- 48e4f99b0ad07bfeb6866ee4d9265cad35305d4d