Skip to content
Unverified Commit 9243e85f authored by Timo Kaufmann's avatar Timo Kaufmann Committed by GitHub
Browse files

sage: fix fetchSageDiff (#55783)

For some reason I changed it to use `cgit`s `rawdiff` instead of `patch`
in the update to sage 8.6. Probably commited that by accident, at least
I can't remember the reason. Also changed the excludes filter, the
leading slash prevented it from working.

As a result, the cypari2 patch changed. Only didn't notice because it
was cached.

Fixes #55780
parent b2e2fe82
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment