Re: [arch-dev-public] What to do with JRE and JDK?

Hi, An update on the situation, Geoffroy Carrier already is maintaining jre and jdk over community now. The jre and jdk packages in extra are gone by now, or supposed to be in the next mirror sync. All the packages in extra that depended on jre or jdk were upgraded accordingly, so we are clear in that matter as well. Maybe an official news item should be posted, just enlighten me on this matter, if it is needed, I'll make one. Thanks, Eduardo "kensai" Romero