Oddly enough, the mailing-list hasn't received a single email since May. Did it move somewhere else? https://groups.google.com/forum/#!forum/dotty-internals ht

Oddly enough, the mailing-list hasn't received a single email since May. Did it move somewhere else? https://groups.google.com/forum/#!forum/dotty-internals https://groups.google.com/forum/#!forum/dotty-internals