From: Peter Munch Date: Thu, 13 Jul 2023 12:40:58 +0000 (+0200) Subject: Merge pull request #15734 from tamiko/update_badges X-Git-Tag: relicensing~687 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=effc7bbf13749c4de19533fb2906214ae30bc59f;p=dealii.git Merge pull request #15734 from tamiko/update_badges README.md: update and rearrange badges --- effc7bbf13749c4de19533fb2906214ae30bc59f