Mark Mitchell <mark@codesourcery.com> writes: | > I'll apply the same thing to mainline. Branch requires your approval | > if I understand correctly. | | Do it. And thank you. And please close the high-priority PR. :-) Done. Thanks. -- Gaby