On 09/17/2014 12:57 PM, Edward Nevill wrote: > The following patch works around a problem with gcc 4.8.x compiling ciEnv.cpp, > > OK to push in jdk8? Argh. Okay. But I really don't want pushes to just one repo: everyone needs it, 7, 8, and 9, or none do. Andrew.