From 7ffbf0b11519bae2a72a1ade1951ea10ae82998e Mon Sep 17 00:00:00 2001
From: Dav999-v <dav999.tolp@gmail.com>
Date: Fri, 30 Dec 2022 23:05:42 +0100
Subject: [PATCH] Use UTF-8 characters for names in credits instead of {|}~

This commit is part of rewritten history of the localization branch.
The original (unsquashed) commit history can be found here:
https://github.com/Dav999-v/VVVVVV/tree/localization-orig
---
 desktop_version/src/Credits.h | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/desktop_version/src/Credits.h b/desktop_version/src/Credits.h
index f81631ac..97996004 100644
--- a/desktop_version/src/Credits.h
+++ b/desktop_version/src/Credits.h
@@ -8,7 +8,7 @@ namespace Credits {
 /* Terry's Patrons... */
 static const char* superpatrons[] = {
     "Anders Ekermo",
-    "Andreas K|mper",
+    "Andreas Kämper",
     "Anthony Burch",
     "Bennett Foddy",
     "Brendan O'Sullivan",
@@ -29,8 +29,8 @@ static const char* superpatrons[] = {
 
 static const char* patrons[] = {
     "Adam Wendt",
-    "Andreas J{rgensen",
-    "}ngel Louzao Penalva",
+    "Andreas Jörgensen",
+    "Ángel Louzao Penalva",
     "Ashley Burton",
     "Aubrey Hesselgren",
     "Bradley Rose",
@@ -63,7 +63,7 @@ static const char* patrons[] = {
     "Joshua Buergel",
     "Joshua Hochner",
     "Kurt Ostfeld",
-    "Magnus P~lsson",
+    "Magnus Pålsson",
     "Mark Neschadimenko",
     "Matt Antonellis",
     "Matthew Reppert",
@@ -90,7 +90,7 @@ static const char* githubfriends[] = {
     "AllyTally",
     "Brian Callahan",
     "Charlie Bruce",
-    "Christoph B{hmwalder",
+    "Christoph Böhmwalder",
     "Daniel Lee",
     "Dav999",
     "Elijah Stone",
@@ -109,8 +109,8 @@ static const char* githubfriends[] = {
     "Nichole Mattera",
     "Pierre-Alain TORET",
     "Reese Rivers",
-    "Remi Verschelde", // TODO: Change to "Rémi" if/when UTF-8 support is added
-    "Thomas S|nger",
+    "Rémi Verschelde",
+    "Thomas Sänger",
     "Tynan Richards",
     "Wouter",
     "viri",