Closing issues and PRs

Dear rioters,

to quote myself: "I would vote that every closed ticket should go with an according comment why it is closed."

Closing an issue should indicate that the issue is either solved or somehow invalid/irrelevant. However, if it closed without indicating why this is the case it can become hard for other developers to approve this.

Cheers, Oleg






> +2 > > +1

That makes +6, so I added it to the development procedures [1].

Cheers, Oleg