dealii/dealii — pull request #130 by bangerth (2014-09-03 10:58:05+00:00)
Title: Fix up step 53 2

This was supposed to be addressed by #127 but the merge of that issue apparently encountered some problems. Here's a respin.