generator: Update AUTHORS.

This commit is contained in:
Richard W.M. Jones
2017-12-10 09:30:49 +00:00
parent 66f5aceda8
commit 1190b8ce56

View File

@@ -72,6 +72,7 @@ let authors = [
"Ken Stailey", [ Development ];
"Kun Wei", [ Quality_assurance; V2V_and_P2V ];
"Lars Kellogg-Stedman", [ Development ];
"Lars Seipel", [ Development ];
"Laura Bailey", [ Documentation; V2V_and_P2V ];
"Lee Yarwood", [ Development ];
"Marcin Gibula", [ Development ];
@@ -117,6 +118,7 @@ let authors = [
"Xiang Hua Chen", [ Quality_assurance; V2V_and_P2V ];
"Yann E. MORIN", [ Development ];
"Yehuda Zimmerman", [ Documentation; V2V_and_P2V ];
"Yuri Chornoivan", [ Documentation ];
]
(** List of authors and roles. *)