authors: Add Adam Robinson.

This commit is contained in:
Richard W.M. Jones
2018-05-15 14:03:08 +01:00
parent eb4d283a09
commit 5982f7aec8

View File

@@ -34,6 +34,7 @@ type role = Development | Quality_assurance | Documentation | V2V_and_P2V
*)
let authors = [
"Adam Huffman", [], [ Development ];
"Adam Robinson", [], [ Development ];
"Andrea Bolognani", [], [ Development ];
"Angus Salkeld", [], [ Development ];
"Ani Peter", [], [ Development ];