返信先: 5.3.1にして不具合

先ほど、5.3.4の先行版を公開しました。別のトピックで内部CUEHSEETの問題のご指摘をいただいて、その件の改善を行っていますので、ひょっとしたらここでの問題も改善しているかもしれません。

もうこのトピックはお読みになっていないとは思いますが、いちおうお知らせしておきます。