Closed this issue 7 years ago · 1 comments
Sooner or later they have to be, so keeping track of this in a bug.
Closing, as development and issue tracking now happens at gitlab.com.