Re: #6183: RPMs from rhel-7-workstation-rpms not mentioned in pkg_el7.json