From: Martin Kronbichler <martin.kronbichler@uni-a.de>
Date: Sat, 15 Jul 2023 06:59:39 +0000 (+0200)
Subject: Merge pull request #15731 from masterleinad/manual_empty
X-Git-Tag: relicensing~673
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0dd1e4f4dce35da27e22a0d97fe3649c0c6776c0;p=dealii.git

Merge pull request #15731 from masterleinad/manual_empty

Use "empty()" instead of "size() == 0"
---

0dd1e4f4dce35da27e22a0d97fe3649c0c6776c0