今日はドキュメントの修正とリファクタリングくらいで、特に修正や新機能はありませんでした。 kazu: r66798 2019-01-12 21:39:41 +0900 r66778 の TRUE/FALSE → true/false への変更に追随して mjit_worker.c のコメントに書かれてた TRUE も true に変更し…