Re: Merging RFC pull requests