プルリクエストが自動マージできなかったので手動修正する

#1091 と #1073 のプルリクエストの自動マージが有効にならなかったので一旦両方のプルリクエストをクローズして再度プルリクエストを作成。