On Sun, 17 May 2020 at 10:02, Roger Dingledine arma@torproject.org wrote:
On Sun, May 17, 2020 at 10:01:24AM +0200, Paul Geurts wrote:
it seems to me that the tor consensus page has not been updated since: Consensus was published 2020-05-14 19:00:00 UTC
You're right! https://consensus-health.torproject.org/
I've mentioned it to Tom, our volunteer maintainer for the page. And also I think he is getting these mails.
Hopefully he'll find a neat bug somewhere and we'll all get smarter. :)
I checked today and it was updated. I didn't see anything in the output logs on the server. I'm afraid I'm no smarter; but thank you for noticing and reporting. I sometimes see emails to tor-relays but the most reliable method is to email me directly or to ping me on irc. Thanks again for helping out, Paul.
-tom