6311bd78f2
Also switch to USE_GITLAB with the new support for a tag name. No functional changes but only build fixes of some bundled code, full changelog can be found here: https://gitlab.com/agmartin/linuxdoc-tools/-/blob/master/ChangeLog Approved by: tcberner (mentor, implicit)