[debian-mysql] Bug#928230: Bug#928230: (no subject)

[Gregor Riepl]

Hi Otto,

> Thanks for working on this!
> 
> Since this will is not Debian packaging specific, can you please submit it
> directly upstream?

I was planning to, but Upstream uses Jira to track issues and I haven't had
time to create an account and file a bug there yet.

I wonder if they would just accept a PR on Github instead.

Regards,
Gregor