----- Original Message ----- > Hi, > > In case it was not clear, please go ahead with the push. > > On 09/12/2013 04:01 PM, Andrew Hughes wrote: > >> One concern, though (not that it needs to be resolved right now, but I > >> figured I would point it out anyway): > > (snip) > > > Maybe, but either way, that's a patch to apply on top, not something to do > > as part of the merge. > > That's exactly what I meant in my comment above. It's not really a > blocker for this merge. On the other hand, this merge is introducing > this (which is supposedly wrong for Java 6). It would probably be good > to fix this sooner rather than later.
Well, I'm hoping you might post a patch and then I review it :) > > Thanks, > Omair > > -- > PGP Key: 66484681 (http://pgp.mit.edu/) > Fingerprint = F072 555B 0A17 3957 4E95 0056 F286 F14F 6648 4681 > -- Andrew :) Free Java Software Engineer Red Hat, Inc. (http://www.redhat.com) PGP Key: 248BDC07 (https://keys.indymedia.org/) Fingerprint = EC5A 1F5E C0AD 1D15 8F1F 8F91 3B96 A578 248B DC07
