chore: clean out devel packages and headers...#4493

nickboldt wants to merge 1 commit intorelease-1.8redhat-developer/rhdh:release-1.8from

remove-headers-and-devel_18redhat-developer/rhdh:remove-headers-and-devel_18Copy head branch name to clipboard