On 2012-10-19 13:16 , Xinliang David Li wrote:
Other than that, if there are no other comments, the change is good to check into the branch. Remaining bugs can always be found and fixed later.
Agreed. David, could you commit the patch after Wei has addressed your feedback? I have just committed a merge from trunk.
Once the runtime is in, please test patches against it. We still don't have dejagnu glue, so testing will need to be manual at first.
Diego.
