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.