push_to_upstream-testing (bf6be1f2) at 21 Mar 18:44
Delete vector-stream-0.1.0.0.patch
Ryan Scott (bf6be1f2) at 21 Mar 18:43
Delete vector-stream-0.1.0.0.patch
It's been superseded by upstream changes
Thanks, @neil.mayhew!
It's been superseded by upstream changes
Replaces !355 (closed)
It's been superseded by upstream changes
It's been superseded by upstream changes
I'll make a new PR after all
@neil.mayhew that MR has been merged so you should be good to rebase now
push_to_upstream-testing (20ddc360) at 21 Mar 06:09
Don't run update-branch job on MRs
Teo Camarasu (20ddc360) at 21 Mar 06:08
Don't run update-branch job on MRs
In the past this could be triggered when trying to merge from a fork's master branch.
push_to_upstream-testing (a6e19c9e) at 20 Mar 23:28
Fix builds of ghc-{tcplugins,typelits}-extra and typlelits-{natnorm...
... and 1 more commit
Teo Camarasu (a6e19c9e) at 20 Mar 23:28
Fix builds of ghc-{tcplugins,typelits}-extra and typlelits-{natnorm...
... and 1 more commit
Teo Camarasu (a6e19c9e) at 20 Mar 14:24
Fix builds of ghc-{tcplugins,typelits}-extra and typlelits-{natnorm...
Also needed ghc-typelits-knownnat