Re: [PATCH] gitlab-ci: cve_tags: Remove duplicate tags from exported list