From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 12 Jul 2023 16:24:18 +0000 (-0400)
Subject: Merge pull request #15722 from tamiko/update_ci_status
X-Git-Tag: relicensing~692
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9e4231ab33c5ee1feb527a01c8687506ea1c3049;p=dealii.git

Merge pull request #15722 from tamiko/update_ci_status

README.md: reorganize badges in a nice row
---

9e4231ab33c5ee1feb527a01c8687506ea1c3049