> > But I'm against doing more than fixing the merge glitch at this stage. > > I think that the Windows maintainers should have the final word though.
This change concerns more Ada than the windows port but in any case, I can't imagine such change being put in stage 4. Arno
