XPost: linux.debian.maint.ocaml.maint   
   From: tobi@debian.org   
      
   Source: coq   
   Version: 8.20.1+dfsg-1   
   Severity: minor   
   User: mia@qa.debian.org   
   Usertags: mia-teammaint   
      
   Benjamin Barenblat  has retired, so can't work on   
   the coq package anymore (at least with this address).   
      
   We are tracking their status in the MIA team and would like to ask you   
   to remove them from the Uploaders list of the package so we can close   
   that part of the file.   
      
   (If the person is listed as Maintainer, what we are asking is to please   
   step in as a new maintainer.)   
      
   Thanks.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)