diff --git a/src/playground/credits/users.js b/src/playground/credits/users.js index 6a36e1f578d..370d90d0a06 100644 --- a/src/playground/credits/users.js +++ b/src/playground/credits/users.js @@ -137,7 +137,7 @@ const pmDevelopers = [ ].map(fromHardcodedGithub); const snDev = [ - 'thepython555', + 'dumorando', 'nmsderp', 'cesderp14', 'someCatInTheWorld',