Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: exclude infocenter from published linux artifact
This is necessary because the name of the product was changed in 17d3620
- Loading branch information