From: Matthias Maier Date: Sat, 22 Jul 2023 23:36:39 +0000 (+0000) Subject: Merge pull request #15753 from peterrum/af_merge_number X-Git-Tag: relicensing~651 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=74b8db5606486da22b0030e19b31faae38576edb;p=dealii.git Merge pull request #15753 from peterrum/af_merge_number AffineConstraints::merge(): allow mixed numbers --- 74b8db5606486da22b0030e19b31faae38576edb