OSDN Git Service

Add missing PR number
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 23 Mar 2013 08:38:50 +0000 (08:38 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Sat, 23 Mar 2013 08:38:50 +0000 (08:38 +0000)
commit0b6d6e6d4d421bcba1bcc8a6b0e55f1f497cdda3
treec8c68b686c5fb8f163b58063d637de6cb4f8dfcb
parent91bb860bc5c7e0aaa0b805ccab613bd3071cd881
Add missing PR number

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/gcc-4_7-branch@197001 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog