diff --git a/generator/authors.ml b/generator/authors.ml index 3428ecfde..d1fff5d22 100644 --- a/generator/authors.ml +++ b/generator/authors.ml @@ -78,6 +78,7 @@ let authors = [ "Lars Seipel", [], [ Development ]; "Laura Bailey", [], [ Documentation; V2V_and_P2V ]; "Lee Yarwood", [], [ Development ]; +"Lin Ma", [], [ Development ]; "Marcin Gibula", [], [ Development ]; "Margaret Lewicka", [], [ Development ]; "Maros Zatko", [], [ Development ];