[php-maint] Bug#715524: Bug#715524: Exact proof of undefined symbol in php5-mysql

[jidanni at jidanni.org]

>>>>> "OS" == Ondřej Surý <ondrej at debian.org> writes:

OS> Why do you open duplicate bug reports with exactly the same
OS> information you already gave? Do you really have a feeling that the
OS> bug management is the real thing we want to do instead of fixing
OS> bugs?

I discovered that it is a separate bug.