I've sent a patch to fix bug 25424 directly to the bug entry of the bug tracker. Is that the correct place to send the patch to, or is it recommended to email patches to this mailing list?

Thank you!

Tijs