On Jun 20, 2011, at 6:41 AM, Rainer Orth wrote:
> Christian Bruel <christian.br...@st.com> writes:
> 
>> 2011-06-16  Christian Bruel  <christian.br...@st.com>
>>      
>>      PR 49139/43654
> 
> Please use the correct PR number format here:
> 
>       PR middle-end/49139
>        PR middle-end/43654
> 
> Otherwise the check-in notices don't get into the PRs.

Also, I think there is a preference to pick the best bug report to make this a 
fix for, and list just one number, and then close the second as a dup of the 
first, after the first is fixed.

Reply via email to