http://bugzilla.suse.com/show_bug.cgi?id=998972 http://bugzilla.suse.com/show_bug.cgi?id=998972#c5 --- Comment #5 from Bernhard Wiedemann <bwiedemann@suse.com> --- This is an autogenerated message for OBS integration: This bug (998972) was mentioned in https://build.opensuse.org/request/show/459981 Factory / ghc -- You are receiving this mail because: You are on the CC list for the bug.