Discourse mail is fixed now


There was a mail outage for discourse.dhall-lang.org over the last month due to a recent infrastructural change in https://github.com/dhall-lang/dhall-lang/pull/1114 which https://github.com/dhall-lang/dhall-lang/pull/1129 will fix permanently (and I’ve already applied the change to verify that it works).

You should have received a “catch-up” email for the topics that you missed in the interim, but I’m also creating this topic as an extra precaution to notify people of what happened so that they can catch up.