multi-ghc-travis: update to current Git master 800980d76f7a74f3
Peter Simons 8 years ago 83fe3f02 bbafe64b