Hi Joe! On 9/5/20 10:21 PM, Joe Darcy wrote: > 8251549: Update docs on building for Git > (...) > PR: https://git.openjdk.java.net/jdk/pull/21
Does that mean that OpenJDK development has officially moved to Github now? And are all OpenJDK members becoming members of the OpenJDK Github project? Thanks, Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - glaub...@debian.org `. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913