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

[Eduardo Romero]

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