Hello, On Thu, 9 Jan 2020 at 06:08, Илья Шипицин <chipits...@gmail.com> wrote: > > btw, if you add "Fixes: #438", the issue will be closed automatically > > https://help.github.com/en/github/managing-your-work-on-github/closing-issues-using-keywords
which we are asking people *NOT* to do, because we are also tracking backports in the github issues. Issues will be closed manually on Github. Thanks, Lukas
