Merge remote-tracking branch 'origin/HEAD' into tc-untouchables
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 29 Aug 2012 14:35:27 +0000 (15:35 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 29 Aug 2012 14:35:27 +0000 (15:35 +0100)
commitf5216cd2b3cbc771102f0fa0867decd2ad45256d
treea3c56889318c7424214d6b05156245bbd01c93d5
parent34be452f0243936bc4406598872419f4353b67e8
parentbcef1e2847ce009f0b139abce1fb664733768c50
Merge remote-tracking branch 'origin/HEAD' into tc-untouchables