Ok, I chose between this and the distro-pkg-dev list. I've sent it there as well now.
/Joakim 2014-06-30 9:54 GMT+02:00 Andrew Haley <a...@redhat.com>: > It would be a really good idea to send this to > distro-pkg-dev <distro-pkg-...@openjdk.java.net> > > Andrew. >