Ah, OK, thanks. No news since 2018-08 then - I was hoping the GNOME GitLab would have something new :(
Ah, OK, thanks. No news since 2018-08 then - I was hoping the GNOME GitLab would have something new :(