On 29-12-16 15:43, Gordan Bobic wrote: > Dear all, > > As you have probably noticed, there has recently been a move in the > direction of moving RedSleeve infrastructure away from my own servers > and toward publicly available facilities that offer a more > decentralized approach to managing what we need and facilitate a more > collaborative environment (e.g. moving various facilities to github). > > A secondary reason behind this has been that inevitably, at some point > I was going to change ISPs, and that time has come, and I will > unfortunately be losing the static IPs I have had for the last few years. > > In order to avoid the vagaries of dynamic IP addresses interfering > with the effective operation of this mailing list, I would like to > propose that it is moved to Google Groups. I believe I can do this > reasonably transparently, and even configure forwarding from the old > address ([email protected] <mailto:[email protected]>) > to the google groups posting email address. > > Does anyone have any objections to this, and/or can propose a better > alternative? >
No objections Jacco
_______________________________________________ users mailing list [email protected] https://lists.redsleeve.org/mailman/listinfo/users
