On Wed, Nov 15, 2017 at 05:32:05PM +1300, Richard A. O'Keefe wrote: > How do you change your e-mail address for this mailing list? > I will be switching from this address to a gmail one soon. You subscribe the new and cancel the old. -- / Raimo Niskanen, Erlang/OTP, Ericsson AB