[{"author": "Lorenzo Miniero", "text": "
Can you please tell participants to use the mic for questions? They're not audible in the audio stream
", "time": "2023-11-05T11:15:04Z"}, {"author": "Stephen Farrell", "text": "sure, will do
", "time": "2023-11-05T11:15:45Z"}, {"author": "Lorenzo Miniero", "text": "Thanks!
", "time": "2023-11-05T11:15:56Z"}, {"author": "Stephen Farrell", "text": "https://github.com/felixlinker/tamarin-workshop/
", "time": "2023-11-05T11:25:39Z"}, {"author": "Stephen Farrell", "text": "if you're remote and have questions, feel free to type 'em here and I'll try grab someone who has an answer
", "time": "2023-11-05T11:26:44Z"}, {"author": "Stephen Farrell", "text": "@meetecho we've lost the room displays
", "time": "2023-11-05T13:02:12Z"}]