From: Daniel Arndt Date: Sat, 10 Mar 2018 20:30:51 +0000 (-0500) Subject: Merge pull request #6029 from bangerth/update-step-14 X-Git-Tag: v9.0.0-rc1~343 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5ebad1188cbec32e0e506b6635a6929a4f7503aa;p=dealii.git Merge pull request #6029 from bangerth/update-step-14 Avoid re-init'ing the same vector twice in step-14. --- 5ebad1188cbec32e0e506b6635a6929a4f7503aa