Closed duncdrum closed 4 years ago
In GitLab by @line-o on May 21, 2019, 14:43
In GitLab by @JoernT on Jun 5, 2019, 16:44
assigned to @JoernT
In GitLab by @JoernT on Jun 12, 2019, 14:46
navigator is in sidebar now.
In GitLab by @JoernT on Jun 12, 2019, 14:46
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