Push of CODETOOLS-7900327 and CODETOOLS -7900311

Jonathan Gibbons jonathan.gibbons at oracle.com
Thu Jun 26 02:41:04 UTC 2014


Done.

Version updated in second patch.

-- Jon

On 06/25/2014 11:37 AM, Mike Duigou wrote:
> Both of these issues have been reviewed with the changes in use for quite some time. Would it be possible to push them?
>
> The only caution I can suggest is to make sure that the version number gets updated correctly.
>
> Mike



More information about the webrev-dev mailing list