Chasing changing repository locations

[John Paul Adrian Glaubitz]

Hi David et al.!

On 11/10/2017 01:08 PM, David Holmes wrote:
> You need to make sure you're subscribed to the project email lists - it
> was jdk10-dev and now just jdk-dev at openjdk.java.net. Then you would have seen about all
> the changes to the repos. Check the archives for discussion:
> 
> http://mail.openjdk.java.net/pipermail/jdk-dev/2017-November/000087.html

Thanks for the heads-up! I appreciate all the quick replies and input :-).

> In theory they should never need to change again. ;-)
Let's see what mathematical values of "never" we are talking about :-).

Adrian

-- 
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer - glaubitz at debian.org
`. `'   Freie Universitaet Berlin - glaubitz at physik.fu-berlin.de
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913