Merge branch 'released' into released

This commit is contained in:
Graham Christensen 2019-03-08 21:32:52 -05:00 committed by GitHub
commit 5431f5c300
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 0 deletions

View file

@ -22,6 +22,7 @@
"Gerschtli",
"grwlf",
"imalsogreg",
"Izorkin",
"jacereda",
"jfrankenau",
"jlesquembre",
@ -32,6 +33,7 @@
"lschuermann",
"marsam",
"Moredread",
"nyanloutre",
"oxij",
"pbogdan",
"pmiddend",
@ -46,6 +48,7 @@
"tomberek",
"unode",
"va1entin",
"vdemeester",
"volth",
"woffs",
"xeji",

View file

@ -77,6 +77,7 @@
"samueldr",
"shlevy",
"srhb",
"teto",
"thoughtpolice",
"timokau",
"vbgl",