diff options
Diffstat (limited to 'members.json')
| -rw-r--r-- | members.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/members.json b/members.json index 1053c6742a..9823b76d55 100644 --- a/members.json +++ b/members.json @@ -79,6 +79,7 @@ "pete-sergeant" : "Pete Sergeant", "philippe-bruhat" : "Philippe Bruhat", "prajith-p" : "Prajith P", + "randy-lauen" : "Randy Lauen", "rob4t" : "Robert Gratza", "rob-van-dam" : "Robert Van Dam", "roger-bell-west" : "Roger Bell West", |