Add comments explaining #8754

Authored by austin on Feb 17 2014, 6:48 AM.

Description

Add comments explaining Trac #8754

Signed-off-by: Austin Seipp <austin@well-typed.com>

Details

Committed
austinFeb 17 2014, 6:48 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFdc0809155970: Fix #8770
Branches
Unknown
Tags
Unknown
Reverted By
rGHCDIFF642bba349fda: Revert "Add comments explaining #8754"