Update contributor names.
authorBen Sturmfels <ben@sturm.com.au>
Sat, 12 Nov 2016 22:26:54 +0000 (09:26 +1100)
committerBen Sturmfels <ben@sturm.com.au>
Sat, 12 Nov 2016 22:26:54 +0000 (09:26 +1100)
commit52a16d64ed96686de9e8640e03cea24b15df07f1
tree220084a05e8aefa3a0c1abfdaf115b1ccc564481
parent8c1728eaee66de956fcb825b43ff89b721ba31de
Update contributor names.
AUTHORS