{{ message }}
Permalink
Retry
...
Checking mergeability…
Don’t worry, you can still create the pull request.
19
contributors
Loading
Loading
This comparison is taking too long to generate.
Unfortunately it looks like we can’t render this comparison for you right now. It might be too big, or there might be something weird with your repository.
You can try running this command locally to see the comparison on your machine:
git diff issue712...master