From: Denis Davydov Date: Fri, 4 Nov 2016 18:34:42 +0000 (+0100) Subject: Merge pull request #3461 from kalj/patch-1 X-Git-Tag: v8.5.0-rc1~475 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4fb4518e51a0b41b0b0a85325f3dd1c9b67ed1c9;p=dealii.git Merge pull request #3461 from kalj/patch-1 Use a single if block --- 4fb4518e51a0b41b0b0a85325f3dd1c9b67ed1c9