<div dir="ltr">I'm following up with Felipe.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Dec 12, 2020 at 4:15 PM Felipe Contreras <<a href="mailto:felipe.contreras@gmail.com">felipe.contreras@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Fri, Dec 4, 2020 at 12:53 AM Mathuaerknedam !<br>
<<a href="mailto:mathuaerknedam@gmail.com" target="_blank">mathuaerknedam@gmail.com</a>> wrote:<br>
><br>
> All of the mailing lists have been migrated, with archives, settings, and subscribers. Unfortunately, some subscriber settings are not transferable (e.g language) and others are kinda tedious to preserve (e.g. digest, nomail), so all subscribers are currently regular (receiving individual messages) and all individual settings have been set to the default.<br>
><br>
> All mailboxes and forwards have been migrated as well, though we should find out if anyone is actually checking those mailboxes. If you can or do check one of the following, let us know:<br>
<br>
I had a configuration to not receive messages, and now I'm getting messages.<br>
<br>
I already unsubscribed, and I'm still getting messages.<br>
<br>
-- <br>
Felipe Contreras<br>
</blockquote></div><br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature"><br>Matthew</div>