Re: Question about contributing a patch

2017-10-09 Thread shawn l.green
On 10/9/2017 3:27 AM, Xiaoyu Wang wrote: Hello,I reported a bug, at https://bugs.mysql.com/bug.php?id=87637, as well as a patch. And Bogdan, the bug hunter, told me this patch would show up on the dev contribution report. So, could anyone please tell me how to contact dev team, or how can I

Question about contributing a patch

2017-10-09 Thread Xiaoyu Wang
Hello,I reported a bug, at https://bugs.mysql.com/bug.php?id=87637, as well as a patch. And Bogdan, the bug hunter, told me this patch would show up on the dev contribution report. So, could anyone please tell me how to contact dev team, or how can I know the progress about integrating the