Bug#702004:

[Michael Stucki]

Sorry, I've set a wrong package name. Can someone change it to "php5" please?


-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org