From: Daniel Arndt Date: Mon, 23 Dec 2019 11:42:48 +0000 (-0500) Subject: Merge pull request #9186 from masterleinad/avoid_generic_lambda X-Git-Tag: v9.2.0-rc1~766 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6278256e626d5827c6a30f9757c3488783971e47;p=dealii.git Merge pull request #9186 from masterleinad/avoid_generic_lambda Avoid variable template in hp::Refinement --- 6278256e626d5827c6a30f9757c3488783971e47