今まで ドキュメント修正のPRはいくつか取り込んでもらったことがあったけど、コードの変更は初めてだったので（※2021/06/27追記、結構前のことなのですっかり忘れていたけど他のOSSでマージしてもらったことがあったのでそんなことはなかったです。なんてこ…