From: Bruno Turcksin Date: Fri, 6 Apr 2018 17:46:59 +0000 (-0400) Subject: Merge pull request #6171 from luca-heltai/fix-patterns-tools X-Git-Tag: v9.0.0-rc1~219 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bcabdb8d58a3d774a1bb6a235212f8faf311fdea;p=dealii.git Merge pull request #6171 from luca-heltai/fix-patterns-tools Fix bug in patterns.h --- bcabdb8d58a3d774a1bb6a235212f8faf311fdea