Skip to content

Fix warning that 'hugs-options' isn't supported any more

Gabor Greif requested to merge ggreif/ghc:no-hugs into master

Removes this warning:

rts-1.0: Warning: .:468:1: The field "hugs-options" is deprecated. hugs isn't supported anymore

Merge request reports