diff --git a/blanket-permission.txt b/blanket-permission.txt index 0c4f0bc..e81efee 100644 --- a/blanket-permission.txt +++ b/blanket-permission.txt @@ -82,3 +82,5 @@ Trustees of Indiana University () University of Notre Dame () Andrew Lumsdaine () Marc Wintermantel (wintermantel -at- imes.mavt.ethz.ch, wintermantel -at- even-ag.ch) (See CVS log) +Francois Faure (Francois.Faure -at- imag.fr) (See CVS log) +