From: Peter Munch Date: Sat, 7 Aug 2021 07:08:47 +0000 (+0200) Subject: Merge pull request #12616 from peterrum/ConstraintTypes X-Git-Tag: v9.4.0-rc1~1102 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ad3445405d1ecdefc16168d8f516102456d02e10;p=dealii.git Merge pull request #12616 from peterrum/ConstraintTypes Switch from unsigned int to ConstraintTypes --- ad3445405d1ecdefc16168d8f516102456d02e10