2 Jul
2011
2 Jul
'11
11:29 a.m.
On 2 July 2011 10:04, Vladimir Prus <vladimir@codesourcery.com> wrote:
Vladimir Prus wrote:
Beman Dawes wrote:
Even though it is late in the process, I'd like to see these changes applied to 1.47.0. While naming is partially cosmetic, users will benefit from less chance of confusion. But before this change is authorized, the release managers want to give others a chance to comment.
Given that there were no further comments, OK to merge?
Ping?
I think 3 days is plenty of time. So go ahead.