Add Michael Ernst to AUTHORS file

This commit is contained in:
Michael Ernst committed 2020-10-04 17:27:31 -07:00
1 parent 390ebcf293
commit 0e7b8c9aee
1 file changed
+1
+1
View File
@@ -24,6 +24,7 @@ Maarten Mulders <mthmulders@users.noreply.github.com>
Mark Haynes <markhaynes.work@gmail.com>
Mart Hagenaars <marthagenaars@gmail.com>
Mateusz Matela <mateusz.matela@gmail.com>
Michael Ernst <mernst@alum.mit.edu>
Michiel Verheul <cheelio@gmail.com>
Pascal Bihler <pascal@qfs.de>
Peter Grant <petercgrant@users.noreply.github.com>