Stream: new members
greatRay (Dec 25 2020 at 21:12):
hi, i m new here.
Notification Bot (Dec 25 2020 at 21:26):
This topic was moved here from #general > options in user attributes by Bryan Gin-ge Chen
Bryan Gin-ge Chen (Dec 25 2020 at 21:27):
Welcome! I've moved your message to your own thread. Feel free to ask any questions about Lean in separate threads in #new members !
Last updated: May 12 2021 at 23:13 UTC