From: David Wells Date: Wed, 22 Mar 2023 13:47:06 +0000 (-0400) Subject: Merge pull request #14935 from bangerth/cxx20-concepts-3 X-Git-Tag: v9.5.0-rc1~440 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0bb50e094f0f50fec890e36cbd2008af72d551fc;p=dealii.git Merge pull request #14935 from bangerth/cxx20-concepts-3 [C++20] Apply concepts to filtered_iterator.h. --- 0bb50e094f0f50fec890e36cbd2008af72d551fc