From: Luca Heltai <luca.heltai@sissa.it>
Date: Fri, 8 Apr 2016 14:11:37 +0000 (+0200)
Subject: Merge pull request #2481 from bangerth/update-comment
X-Git-Tag: v8.5.0-rc1~1128
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=58e855c28371abc4f6523c2520891cfa39f9e820;p=dealii.git

Merge pull request #2481 from bangerth/update-comment

Update the comment for a variable.
---

58e855c28371abc4f6523c2520891cfa39f9e820