2 Dec
2013
2 Dec
'13
9:49 p.m.
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.