JNAにプルリクをマージしてもらえました。 やったー。 長かったー。どれくらい長かったかというと、2ヶ月以上かかってます。 マージしてもらったプルリクをみるとオープンしたのは3日前なのですが、これはぐだぐだになったプルリクをクローズして作り直した…