From: Marc Fehling <mafehling.git@gmail.com>
Date: Tue, 27 Feb 2024 21:30:40 +0000 (-0700)
Subject: Merge pull request #16699 from tamiko/update_mailmap
X-Git-Tag: v9.6.0-rc1~520
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8a6690cd36a575079f2c334296071536dab76543;p=dealii.git

Merge pull request #16699 from tamiko/update_mailmap

Mailmap: add missing entries
---

8a6690cd36a575079f2c334296071536dab76543