[7u4] Request approval for 7125442

[Edvard Wendelin]

Approved.

On Jan 25, 2012, at 7:09 PM, Kumar Srinivasan wrote:

> Hi All,
> 
> Request approval for push into  http://hg.openjdk.java.net/jdk7u/jdk7u-dev/jdk
> 
> Patch: http://hg.openjdk.java.net/jdk8/tl/jdk/rev/96fe796fd242
> CR: http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7125442
> 
> Patch is identical to the jdk8, ie. no fuss by hg when applying.
> 
> Thanks
> Kumar
>