IRC log for #evergreen, 2022-11-05

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

Time	Nick	Message
15:22		stephengwills joined #evergreen
17:24		stephengwills_ joined #evergreen
18:34		jonadab joined #evergreen
20:06		stephengwills_ left #evergreen
23:50		scottangel joined #evergreen
23:59		gmcharlt joined #evergreen