[PATCH] Fix comment to use correct option name

Austin Seipp aseipp at pobox.com
Thu Feb 14 09:21:08 CET 2013


Merged. Cheers!

-- 
Regards,
Austin



More information about the ghc-devs mailing list