From: Matthias Maier Date: Tue, 28 Jan 2025 19:06:08 +0000 (+0000) Subject: Merge pull request #18023 from bangerth/complex-1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e9dbf2eb55f66eecdc5ac52195f467e5e670bbf9;p=dealii.git Merge pull request #18023 from bangerth/complex-1 Better document our mixed complex overloads. --- e9dbf2eb55f66eecdc5ac52195f467e5e670bbf9