On Thursday, July 08, 2010 11:56:54 am Remi Collet wrote:
Le 08/07/2010 10:37, Mark Chappell a écrit :
This are dead.packages (extensions now provided by php)
Should I open a request for "branch" deletion ?
you should have nobranched back when we asked people to do that. now you need
to follow the package eol procedure