From: Matthias Maier <tamiko@43-1.org>
Date: Wed, 12 Jul 2023 03:24:45 +0000 (+0000)
Subject: Merge pull request #15719 from tamiko/print_summary
X-Git-Tag: relicensing~696
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0847ac00f9158f1a5c3328ce7c22d30621bcd27f;p=dealii.git

Merge pull request #15719 from tamiko/print_summary

Testsuite: let run_testsuite() print a summary
---

0847ac00f9158f1a5c3328ce7c22d30621bcd27f