Re: RHEL bug, how to proceed?