IRC log for #evergreen, 2023-08-12

← Previous day | Channels | #evergreen index | Today | Next day → | Search | Google Search | Plain-Text | summary | Join Webchat

All times shown according to the server's local time.