Closed duncdrum closed 4 years ago
In GitLab by @JoernT on Dec 6, 2018, 13:03
@line-o For what? Is this ticket still valid?
In GitLab by @line-o on Dec 6, 2018, 14:42
no, this was fixed a while ago
In GitLab by @line-o on Dec 6, 2018, 14:42
closed
The original issue
could not be created. This is a dummy issue, replacing the original one. It contains everything but the original issue description. In case the gitlab repository is still existing, visit the following link to show the original issue:
TODO