[Bit-dev] RfC (dev process): When to close an fixed issue?

I have just created issue #1553 ([https://github.com/bit-team/backintime/issues/1553)](https://github.com/bit-team/backintime/issues/1553)) for which we already have received an PR that fixes the issue. Which timing should we follow to close an issue? a) When the issue is fixed in the "dev" branch b) When the issue is fixed AND an contained in a release The timing may be of importance when users search for "open" issues. Currently we apply a) (mostly ;-)