#dev | Logs for 2023-09-23
« return
[03:56:40] -!- devbot has quit [Ping timeout: 252 seconds]
[03:59:25] -!- devbot_ [devbot_!~devbot@04-04-61-69.ip.linodeusercontent.com] has joined #dev
[04:14:23] devbot_ is now known as devbot
[04:23:04] -!- devbot has quit [Ping timeout: 252 seconds]
[04:23:06] -!- devbot [devbot!~devbot@04-04-61-69.ip.linodeusercontent.com] has joined #dev
[08:06:55] -!- devbot has quit [Ping timeout: 252 seconds]
[08:07:56] -!- devbot [devbot!~devbot@04-04-61-69.ip.linodeusercontent.com] has joined #dev
[08:15:28] <chromas> devbot: help
[08:15:34] <chromas> devbot: list