From: Martin Kronbichler Date: Mon, 7 Jul 2025 12:51:49 +0000 (+0200) Subject: Merge pull request #18413 from mwichro/renuber_lexicographic X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b700d085cb8defde6fc9028885312dc88ee25a85;p=dealii.git Merge pull request #18413 from mwichro/renuber_lexicographic Renumber lexicographic --- b700d085cb8defde6fc9028885312dc88ee25a85