ocaml 3.09 transition

[helm.git] / helm / mowgli / home / xml / work-packages / interfaces.xml

diff --git a/helm/mowgli/home/xml/work-packages/interfaces.xml b/helm/mowgli/home/xml/work-packages/interfaces.xml
index cbd3db83b1e7e8ee647412263571ab28533d21b8..b8ca886fd2f313a58c360141030c3ba4511771f8 100644 (file)
--- a/helm/mowgli/home/xml/work-packages/interfaces.xml
+++ b/helm/mowgli/home/xml/work-packages/interfaces.xml
@@ -6,6 +6,7 @@
  <name>Interfaces</name>
  <begin>Month 3</begin>
  <end>Month 24</end>
+ <leader file="inria/pottier"/>
  <person-month participant="bologna" number="16"/>
  <person-month participant="inria" number="16"/>
  <person-month participant="dfki" number="5"/>