[php-maint] Bug#576434: Bug#576434: php5-cli: Please document option -q (--no-header)

Sun Apr 4 20:34:56 UTC 2010

Hi.

Le dimanche 04 avril 2010 à 21:10 +0200, Ondřej Surý a écrit :
> Hi Olivier,
> 
> this sort of bug would be better reported upstream. Can you do it
> yourself, or do you want us to report it?
> 
> Ondrej

If you don't mind forwarding it upstream, thanks in advance.

Best regards,
-- 
Olivier BERGER <olivier.berger at it-sudparis.eu>
http://www-public.it-sudparis.eu/~berger_o/ - OpenPGP-Id: 2048R/5819D7E8
Ingénieur Recherche - Dept INF
Institut TELECOM, SudParis (http://www.it-sudparis.eu/), Evry (France)