Credits: remove outdated nickname

This cherry-picks 287ec15c10 and part of 7334cc97c9.
This commit is contained in:
Steve Cotton 2021-05-15 08:46:21 +02:00
parent 0f137ce4b4
commit 69d129ddea
3 changed files with 4 additions and 4 deletions

View file

@ -40,7 +40,7 @@
comment = "current maintainer"
[/entry]
[entry]
name = "Bär Halberkamp (bumbadadabum)"
name = "Astrid Halberkamp"
[/entry]
[/about]
[about]

View file

@ -817,7 +817,7 @@
comment = "Under the Burning Suns"
[/entry]
[entry]
name = "Astrid Halberkamp (bumbadadabum)"
name = "Astrid Halberkamp"
comment = "Campaign maintenance and various improvements"
[/entry]
[entry]
@ -1103,7 +1103,7 @@
name = "Artem Khrapov (kabachuha)"
[/entry]
[entry]
name = "Astrid Halberkamp (bumbadadabum)"
name = "Astrid Halberkamp"
[/entry]
[entry]
name = "Ben Anderman (crimson_penguin)"

View file

@ -343,7 +343,7 @@ sort=yes
name = "Arne Deprez"
[/entry]
[entry]
name = "Bär Halberkamp (bumbadadabum)"
name = "Astrid Halberkamp"
[/entry]
[entry]
name = "Floris Kint (Grimling)"