普段はOre2からLTLみていて、今久しぶりにブラウザからグルドン開いたら結構通知溜まっていて驚いた。しかも、リプライも頂いていたのに気づいていなかった…申し訳ないです。