From: Denis Davydov Date: Mon, 19 Sep 2016 05:57:43 +0000 (+0200) Subject: Merge pull request #3132 from bangerth/fix-typo X-Git-Tag: v8.5.0-rc1~659 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bd0961803e04040bbee7d7380ca0be3c7696966f;p=dealii.git Merge pull request #3132 from bangerth/fix-typo Fix typo in comment. --- bd0961803e04040bbee7d7380ca0be3c7696966f