From: Matthias Maier Date: Mon, 5 Jan 2015 18:05:01 +0000 (+0100) Subject: Merge pull request #404 from bangerth/update-step-43 X-Git-Tag: v8.3.0-rc1~569 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b100df374c0514b8a683e1185e404945afd5e078;p=dealii.git Merge pull request #404 from bangerth/update-step-43 Fix two oversights in the step-43 code. --- b100df374c0514b8a683e1185e404945afd5e078