Nobody is unsubscribed

Raimo Niskanen <[email protected]> Thu, 24 Oct 2019 17:20:47 +0200 (CEST)

Newsgroups	gmane.comp.lang.erlang.patches
Message-ID	<[email protected]>

Oops!                                                                                                                   
                                                                                                                        
We are changing mailing list servers and when removing                                                                  
all subscribers from the old server accidentally did                                                                    
send a confirmation e-mail.  You are all still subscribed                                                               
on the new server.  No action is required on nobodys part                                                               
(except for some sysadmins...)                                                                                          
                                                                                                                        
Sorry for the near Halloween scare!                                                                                     
--                                                                                                                      
Raimo Niskanen, butter-fingered mailing list admin at erlang.org