Credits tab: fix accidental merger of two contributors

Fixes #3125
This commit is contained in:
est31 2015-08-31 16:37:02 +02:00
parent 2c637ce1c2
commit 714b68add2

@ -48,7 +48,8 @@ tab_credits = {
",Andrew Ward (rubenwardy) <rubenwardy@gmail.com>," .. ",Andrew Ward (rubenwardy) <rubenwardy@gmail.com>," ..
",Aaron Suen <warr1024@gmail.com>," .. ",Aaron Suen <warr1024@gmail.com>," ..
",Sokomine <wegwerf@anarres.dyndns.org>," .. ",Sokomine <wegwerf@anarres.dyndns.org>," ..
",Břetislav Štec (TeTpaAka)," .. ",Břetislav Štec (t0suj4/TBC_x)," ..
",TeTpaAka," ..
",Jean-Patrick G (kilbith) <jeanpatrick.guerrero@gmail.com>," .. ",Jean-Patrick G (kilbith) <jeanpatrick.guerrero@gmail.com>," ..
",Rui <mrrst0914@gmail.com>," .. ",Rui <mrrst0914@gmail.com>," ..
",Diego Martinez (kaeza) <kaeza@users.sf.net>," .. ",Diego Martinez (kaeza) <kaeza@users.sf.net>," ..