# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1408520887 -3600
# Node ID 50e739f0a836ffc37069c4ddc195f79122073357
# Parent  56c28e4152f0a1d14c94e4682493c2237c5c943b
updated pc

diff -r 56c28e4152f0 -r 50e739f0a836 pc
--- a/pc	Tue Aug 12 14:45:03 2014 +0100
+++ b/pc	Wed Aug 20 08:48:07 2014 +0100
@@ -13,7 +13,7 @@
 (or Magnus Myreen)
 Xavier Leroy
 Sandry Blazy      (IRISA?)      
-Herman Geuvers    (asked)
+Herman Geuvers    (Nijmegen)
 Xinyu Feng        (Suzhou Institute for Advanced Study)
 Alwen Tui
 Humin Lin         (asked)
@@ -24,7 +24,7 @@
 Bob Constable
 Jesper Bengtson   (ITU)
 Lars Birkedal     (Aarhus)
-(15)
+(16)
 
 Previous ITP was 33