From: David Wells Date: Fri, 4 Nov 2016 23:58:32 +0000 (-0400) Subject: Merge pull request #3465 from bangerth/clarify-code X-Git-Tag: v8.5.0-rc1~466 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ee50e7235d14acafb2a7779771868dd4d766b5df;p=dealii.git Merge pull request #3465 from bangerth/clarify-code Clarify the intent of a piece of code. --- ee50e7235d14acafb2a7779771868dd4d766b5df