From 5982f7aec8f722cd396f6dcebf5e458e5be509b7 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 15 May 2018 14:03:08 +0100 Subject: [PATCH] authors: Add Adam Robinson. --- generator/authors.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/generator/authors.ml b/generator/authors.ml index d1fff5d22..819191bb3 100644 --- a/generator/authors.ml +++ b/generator/authors.ml @@ -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 ];