[commit: ghc] master's head updated: Add default case (fixes -Werror) (4d90e44)

[Gabor Greif]

Thanks, I would have done that too, but my ssh won't let big chunks pass.

Herbert volunteered to clean this up.

Cheers,

    Gabor

On 9/19/14, Alexander Berntsen <alexander at plaimi.net> wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA256
>
> On 19/09/14 08:15, Arash Rouhani wrote:
>> When I make mistakes like this though I just quickly undo it with a
>>  force push. ^^
> Please don't ever force push to a public repository.
>
> On 19/09/14 06:48, Gabor Greif wrote:
>> Sorry for the messup. How can I repair this? I did not intend to
>> "merge" my work yet.
> Just revert? Patch attached. Pushing this patch will revert your commits
> in a clean way.
> - --
> Alexander
> alexander at plaimi.net
> https://secure.plaimi.net/~alexander
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v2
> Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
>
> iF4EAREIAAYFAlQb5uUACgkQRtClrXBQc7W3AAD/d8bh9VvkgZzr6Y8JMPodPcwg
> +uKct2eapooVjZiaimEBAKo/4MJJBamfPRYOO07GZUUYvXxybtZNaS3nFwPNfY9d
> =Y8Ka
> -----END PGP SIGNATURE-----
>