Turn off exhaustiveness checking (thanks: Martin Jambon).
authorRichard W.M. Jones <rich@annexia.org>
Fri, 25 Apr 2008 14:57:11 +0000 (14:57 +0000)
committerRichard W.M. Jones <rich@annexia.org>
Fri, 25 Apr 2008 14:57:11 +0000 (14:57 +0000)

No differences found