Hi everyone,
I just did my first merge of pull request linked to a bug ticket: https://sourceforge.net/p/phpmyadmin/bugs/4157/ My pull request had been merged into the master.
Should I merge it in any other branch ? QA_4_1 ? STABLE ? None ? And then, how should I close the ticket please ? I saw that you change the priority to 1, set the status to "resolved" and add a prefix in the subject: "(ok X.X.X-YY)".
Shouldn't I also update the Changelog file ?
Thanks, Hugues.