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.