diff options
| author | krangelov <kr.angelov@gmail.com> | 2020-05-14 15:05:13 +0200 |
|---|---|---|
| committer | krangelov <kr.angelov@gmail.com> | 2020-05-14 15:05:13 +0200 |
| commit | e8653135d4086e3856fba7e8467c85a7186a5571 (patch) | |
| tree | 54e99b18d3273885e8c9d7fdd878f4422ac31bcb /doc | |
| parent | 62bc78380e69af2de3253130204fc45bac00f3f0 (diff) | |
| parent | dda348776e71f6d437741339857ca0b1cbea08ea (diff) | |
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Diffstat (limited to 'doc')
| -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. |