2022/11/14

ちょっと遅いですが11月14日の日記です。

午前はErgの微修正とPRの消化をしました。有志の方によりエラー表示がリッチになったので、今判明している小バグが解決したら0.5.12をリリースしようと思います。

午後はオンライン授業と明日締め切りの課題をやってました。

出不精で良くないので、明日は映画でも観に行こうと思います。 今だとすずめの戸締まりとかが良いですね。