Emilio Jesús Gallego Arias (Jan 03 2023 at 15:59): Emilio Jesús Gallego Arias (Jan 03 2023 at 15:59):Hi folks, I've assembled a list of topics for the first meeting (c.f. https://github.com/ejgallego/coq-lsp/wiki/Coq-Lsp-Calls )
I'd like to find a slot for the first meeting then, would Monday afternoon for example work for you?
Emilio Jesús Gallego Arias (Jan 03 2023 at 16:07):cc @Ramkumar Ramachandra @Ali Caglayan
Ali Caglayan (Jan 03 2023 at 17:34):Monday afternoon works for me.
Ramkumar Ramachandra (Jan 03 2023 at 18:02):Monday afternoon works for me too.
Emilio Jesús Gallego Arias (Jan 03 2023 at 18:04):Great
Huỳnh Trần Khanh (Jan 03 2023 at 18:07):Could I join? The proposed time works for me.
Emilio Jesús Gallego Arias (Jan 03 2023 at 18:19):Of course @Huỳnh Trần Khanh , that would be great! Actually I was going to ask you some questions, but I'm still on holidays
Emilio Jesús Gallego Arias (Jan 04 2023 at 19:45):@Huỳnh Trần Khanh what timezone are you in?
I propose we do like 5pm Paris time?
Ali Caglayan (Jan 09 2023 at 15:57):We are starting in 5 min right? Will we have a zoom link?
Ali Caglayan (Jan 09 2023 at 15:58):ping @Emilio Jesús Gallego Arias
Ramkumar Ramachandra (Jan 09 2023 at 15:59):It's https://rendez-vous.renater.fr/coq-lsp
Ramkumar Ramachandra (Jan 09 2023 at 15:59):I'm waiting.
Emilio Jesús Gallego Arias (Jan 09 2023 at 16:00):I folks, I can't start the call
Emilio Jesús Gallego Arias (Jan 09 2023 at 16:01):renater seems down today damn
Emilio Jesús Gallego Arias (Jan 09 2023 at 16:01):is it Ok if we use zoom?
Ramkumar Ramachandra (Jan 09 2023 at 16:01):Renater is working for me.
Ramkumar Ramachandra (Jan 09 2023 at 16:01):... but sure, Zoom works.
Emilio Jesús Gallego Arias (Jan 09 2023 at 16:02):I'll show you the problem, damn
Emilio Jesús Gallego Arias (Jan 09 2023 at 16:02):Can't login, so I can't be the host
Ramkumar Ramachandra (Jan 09 2023 at 16:02):It's fine, let's use Zoom.
Emilio Jesús Gallego Arias (Jan 09 2023 at 16:03):https://wesleyan.zoom.us/j/94445291653?pwd=d1Y3enFZVW83b3lxaUZuczFIY0szZz09
Emilio Jesús Gallego Arias (Jan 09 2023 at 16:03):wiki updated
Last updated: Apr 19 2024 at 14:02 UTC