github-backup: jailbreak to fix the build

This commit is contained in:
Peter Simons 2018-05-07 13:26:42 +02:00
parent 394d0f2ed9
commit 8b11e30b84

View file

@ -1026,6 +1026,9 @@ self: super: {
# https://github.com/dmwit/encoding/pull/3
encoding = appendPatch super.encoding ./patches/encoding-Cabal-2.0.patch;
# Work around overspecified constraint on github ==0.18.
github-backup = doJailbreak super.github-backup;
}
//