I have just created issue #1553 ([https://github.com/bit-team/backintime/issues/1553)](https://github.com/bit…
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 ;-)
