■

xyzzyがバージョンアップ。慌ててアップグレードすると何だか災いが起きそうな気もするので、忘れた頃にします。

追記: 待ちきれずに結局アップグレードしてしまいました。今のところ問題はなさそう。