Commit c8d995db authored by Ben Gamari's avatar Ben Gamari 🐢

Bump time submodule

My previous attempt at bumping `time` was confused by a non-fast-forward
update from upstream. Here we merge the orphaned commit back into
master, fixing mirroring.

Also, we will now follow upstream's `ghc` branch instead of `master` to
prevent this sort of thing happening again in the future.
parent 254bc335
Subproject commit 6e202edc1b0e32c25bc13194e6496c2c18198463
Subproject commit 4eb06c0e5381a5b5ad2186ac6ecff434cd711376
Markdown is supported
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