今日は coverage 関連の変更などがありました。 naruse: r64493 2018-08-21 22:39:24 +0900 mswin の CI が壊れてるとして r64447 で r64407 を revert していましたが、これは関係なかったみたいで戻しています。 akr: r64494 2018-08-21 23:40:18 +0900 ti…