Re: #6349: dist tag for SELinuxProject packages