diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2020-05-11 13:32:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-11 13:32:26 +0200 |
| commit | dda348776e71f6d437741339857ca0b1cbea08ea (patch) | |
| tree | c0bd0ad92481798e2d7c011466e48e36b5bb13c8 | |
| parent | 65c810f085bcdc78b8b50e5c39bf09e936ce3e95 (diff) | |
Add Lauri Alanko to the list of contributors
| -rw-r--r-- | doc/gf-people.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/gf-people.md b/doc/gf-people.md index 9e0177306..7d0ef90c2 100644 --- a/doc/gf-people.md +++ b/doc/gf-people.md @@ -32,6 +32,7 @@ The following people have contributed code to some of the versions: - [Janna Khegai](http://www.cs.chalmers.se/~janna) (Chalmers) - [Peter Ljunglöf](http://www.cse.chalmers.se/~peb) (University of Gothenburg) - Petri Mäenpää (Nokia) +- Lauri Alanko (University of Helsinki) At least the following colleagues are thanked for suggestions, bug reports, and other indirect contributions to the code. |