From: Martin Kronbichler <martin.kronbichler@uni-a.de>
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