commit 84ee45712beb20d7fac8e4305bffca7240f91666 parent 6199618b889448bcd6177861da0aafa5421b211f Author: Bart Polot <bart@net.in.tum.de> Date: Fri, 27 Dec 2013 20:40:03 +0000 - members++ Diffstat:
| M | members.txt | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/members.txt b/members.txt @@ -1,2 +1,3 @@ Christian Grothoff <christian@grothoff.org> Gabor Toth +Bartlomiej Polot <bart@net.in.tum.de>