From: Martin Kronbichler Date: Wed, 28 Jun 2023 18:10:49 +0000 (+0200) Subject: Merge pull request #15418 from bangerth/sorted X-Git-Tag: relicensing~854 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a65593a9d8e42f46c74859b49b32d519e0b46e71;p=dealii.git Merge pull request #15418 from bangerth/sorted When we know that sparsity pattern entries are sorted, communicate that. --- a65593a9d8e42f46c74859b49b32d519e0b46e71