Merge pull request #755 from dmick/wip-centos9-repos main
authoradam kraitman <53821603+akraitman@users.noreply.github.com>
Fri, 19 Apr 2024 08:25:48 +0000 (11:25 +0300)
committerGitHub <noreply@github.com>
Fri, 19 Apr 2024 08:25:48 +0000 (11:25 +0300)
Remove unnecessary duplicate repo definitions for centos9


Trivial merge