<div dir="auto">Hi, it is quite less convenient to use a mailing list a communication.<div dir="auto">Is there any discord server for the gsoc participants?</div></div>