Debian BUG #513916 solved!!

Hey people, yesterday I have filed my first debian bug!
It was debian bug #513916, and today I have submitted the solving patch. I didn't write any code line, I just reverted php CVS commit with the solving lines and created the patch... but that's too cool!! :-)

May be the debian php package mantainer will release a new package version with that patch...

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=513916
Ciao, Dino.

---