All credit goes to Tomas Hurka. On Feb 14, 2013, at 10:30 PM, Seán Coffey <[email protected]> wrote:
> Thanks for catching this one Leonid. This was the result of a bad merge from > my end at 7u10 GA time. > > Approved. > > regards, > Sean. > > On 14/02/2013 17:58, Leonid Romanov wrote: >> Hi, >> This is a request to push the fix for 8008235: "Fix for 8002114 is missing >> in jdk7u-dev" into 7u-dev. The fix is identical with the fix for 8002114, so >> no additional review is necessary. >> >> Bug: Bug: http://bugs.sun.com/view_bug.do?bug_id=8008235 >> webrev: http://cr.openjdk.java.net/~leonidr/8008235/webrev.00/ >> >> Thanks, >> Leonid. >> >
