Just out of curiosity, was this due to a lack of machine resources? How is RIOT's infrastructure (e.g. web and mail hosting) handled; is the hosting donated by one or more of the supporters listed at the bottom of the project's homepage? Would additional hosting resources be helpful?
--adam On Tue, Aug 8, 2017 at 10:00 AM, Thomas Eichinger <tho...@riot-os.org> wrote: > Oleg, > > Thank you for handling this! > > Best, Thomas > > On 8 Aug 2017, at 7:53 PDT(-0700), Oleg Hahm wrote: > >> Dear RIOTers, >> >> due to an immense load of requests on the mailing lists, ten thousands of >> mails got queued over the last days. This lead to a delay for mail delivery >> up >> to several days. After some throttling and performance tuning on the mail >> server everything should be back to normal and most of the mails should have >> been delivered by now. >> >> Sorry for the inconvenience and please let me know if you encounter further >> problems. >> >> Cheers, >> Oleg >> -- >> The best thing about script jokes is that they start with a bang. >> _______________________________________________ >> devel mailing list >> devel@riot-os.org >> https://lists.riot-os.org/mailman/listinfo/devel > > _______________________________________________ > devel mailing list > devel@riot-os.org > https://lists.riot-os.org/mailman/listinfo/devel > _______________________________________________ devel mailing list devel@riot-os.org https://lists.riot-os.org/mailman/listinfo/devel
