Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Motivation for this change
The current URI is not available anymore, this commit just points to the correct file.
@dfordivam The reason these patches are using
When an updated version of the upstream package is released to Hackage, then the patch gets deleted from
This is a sign for us to drop the patch.
In this case, it appears that a new release of
Can you update this PR to just drop the patch?