From: Timo Heister Date: Wed, 3 Sep 2014 11:56:58 +0000 (-0400) Subject: Merge pull request #130 from bangerth/fix-up-step-53-2 X-Git-Tag: v8.2.0-rc1~164 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=613de4446b2a3440ccb7c39ade11c82a67afe9ea;p=dealii.git Merge pull request #130 from bangerth/fix-up-step-53-2 Fix up step 53. This was supposed to be addressed by #127 but the merge of that issue apparently encountered some problems. Here's a respin. --- 613de4446b2a3440ccb7c39ade11c82a67afe9ea