IRC log of workerinput on 2019-09-18

Timestamps are in UTC.

09:08:00 [RRSAgent]

RRSAgent has joined #workerinput

09:08:00 [RRSAgent]

logging to https://www.w3.org/2019/09/18-workerinput-irc

09:09:14 [majidvp]

I think we should have invited the RRS Agent at the beginning of the session

16:30:40 [RRSAgent]

RRSAgent has joined #workerinput

16:30:40 [RRSAgent]

logging to https://www.w3.org/2019/09/18-workerinput-irc

16:30:45 [dom]

RRSAgent, draft minutes

16:30:45 [RRSAgent]

I have made the request to generate https://www.w3.org/2019/09/18-workerinput-minutes.html dom

17:37:03 [shimazu]

shimazu has joined #workerinput