From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Fri, 27 Oct 2017 13:31:21 +0000 (-0600)
Subject: Merge pull request #5331 from luca-heltai/tuple-pattern
X-Git-Tag: v9.0.0-rc1~864
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=98ababaa08b1649143e61528e13e7a25dd55aa8b;p=dealii.git

Merge pull request #5331 from luca-heltai/tuple-pattern

Patterns::Tuple
---

98ababaa08b1649143e61528e13e7a25dd55aa8b