chrdimo
2021-7-21 17:30:12
@chrdimo has joined the channel
lukasalazarek
2021-7-21 17:30:47
@lukasalazarek has joined the channel
casparpopova2023
2021-7-21 17:30:47
@casparpopova2023 has joined the channel
chrdimo
2021-7-21 17:30:56
Let’s start using this channel for the benchmark synthesis project