Browse Source

Credit @t0mm0 for xminus (#4302)

Philipp Hagemeister 10 years ago
parent
commit
3004ae2c3a
1 changed files with 1 additions and 0 deletions
  1. 1 0
      AUTHORS

+ 1 - 0
AUTHORS

@@ -87,3 +87,4 @@ William Sewell
 Dao Hoang Son
 Oskar Jauch
 Matthew Rayfield
+t0mm0