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]) to the google groups posting email address. Does anyone have any objections to this, and/or can propose a better alternative? Gordan
_______________________________________________ users mailing list [email protected] https://lists.redsleeve.org/mailman/listinfo/users
