diff options
Diffstat (limited to 'Misc/developers.txt')
| -rw-r--r-- | Misc/developers.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Misc/developers.txt b/Misc/developers.txt index 77ab49d..b09771a 100644 --- a/Misc/developers.txt +++ b/Misc/developers.txt @@ -17,6 +17,9 @@ the format to accommodate documentation needs as they arise. Permissions History ------------------- +- Guilherme Polo was given SVN access on 24 April 2008 by MvL, + for GSoC contributions. + - Thomas Lee was given SVN access on 21 April 2008 by NCN, for work on branches (ast/optimizer related). |