Ricardo Wurmus <rek...@elephly.net> skribis: > Ludovic Courtès <l...@gnu.org> writes: > >> Ricardo Wurmus <rek...@elephly.net> skribis:
[...] >>> Does it make sense to push this patch to master? Or should we wait for >>> an official release? Java 1.8 is already pretty old and it seems like >>> the pre-release is enough to build OpenJDK 8. >> >> I’d rather wait for an official release, but maybe there’s a good reason >> to use the pre-release? [...] > So many words for a variant of “I’m not sure” :) In short ;-), it seems to me that packaging this pre-release would make sense since it would bring the power of Java 8 to our users, so go for it! Ludo’.