From: David Wells Date: Tue, 23 Nov 2021 02:17:38 +0000 (-0500) Subject: Merge pull request #12982 from peterrum/CollectionIterator_trait X-Git-Tag: v9.4.0-rc1~810 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8c21111ca3fcd5e8c1505b92e78b73bdaf7ef99e;p=dealii.git Merge pull request #12982 from peterrum/CollectionIterator_trait Add iterator traits to hp::CollectionIterator --- 8c21111ca3fcd5e8c1505b92e78b73bdaf7ef99e