From 1190b8ce56abc6c6b502d98f7baf8091ea6f79ea Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sun, 10 Dec 2017 09:30:49 +0000 Subject: [PATCH] generator: Update AUTHORS. --- generator/authors.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/generator/authors.ml b/generator/authors.ml index 8f5780958..1e09c8775 100644 --- a/generator/authors.ml +++ b/generator/authors.ml @@ -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. *)