From: Wolfgang Bangerth Date: Sun, 13 Sep 2015 01:40:04 +0000 (-0500) Subject: Merge pull request #1589 from tamiko/bugfix3 X-Git-Tag: v8.4.0-rc2~432 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a2b11757c3771f0e3aa2136d91de2b9d94184902;p=dealii.git Merge pull request #1589 from tamiko/bugfix3 Bugfix: Convert a missing variant --- a2b11757c3771f0e3aa2136d91de2b9d94184902