diff options
author | Ben Gamari <ben@smart-cactus.org> | 2017-02-21 10:36:56 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-02-22 10:42:48 -0500 |
commit | c8d995db5d743358b0583fe97f8113bf9047641e (patch) | |
tree | 91eaea5ad7d2173cc2ee94b530c43b830d0d7668 /libraries/time | |
parent | 254bc3357b0de673b7873f1c4cf5dfc26d0bb5f2 (diff) | |
download | haskell-c8d995db5d743358b0583fe97f8113bf9047641e.tar.gz |
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.
Diffstat (limited to 'libraries/time')
m--------- | libraries/time | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/libraries/time b/libraries/time -Subproject 6e202edc1b0e32c25bc13194e6496c2c1819846 +Subproject 4eb06c0e5381a5b5ad2186ac6ecff434cd71137 |