[Phpmyadmin-devel] Close a ticket

[Hugues Peccatte]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.phpmyadmin.net/pipermail/developers/attachments/20131202/334dcb5f/attachment.html>