Comment 7 for bug 1875139

Revision history for this message
Thomas Huth (th-huth) wrote :

If I've got that right, this issue got solved, so I'm closing it now. Please file a new ticket in our new tracker at gitlab.com if there is still a problem.