From: Wolfgang Bangerth Date: Mon, 30 Oct 2017 03:30:56 +0000 (-0600) Subject: Merge pull request #5355 from masterleinad/patterns_fallthrough X-Git-Tag: v9.0.0-rc1~850 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e3e0009a09f32ac04279990a495ca5b85999c671;p=dealii.git Merge pull request #5355 from masterleinad/patterns_fallthrough Fix Patterns::Tuple::description --- e3e0009a09f32ac04279990a495ca5b85999c671