Closed matthiasblaesing closed 1 month ago
This change is trivial and was successfully tested by two affected users (one of them being the author), merging.
should this PR be linked to the issue and the issue closed?
@mbien yes, thanks for the heads-up.
This change is trivial and was successfully tested by two affected users (one of them being the author), merging.