ghcjs/ghcjsHEAD: Use separate patch files to fix build of ghcjs
Moritz Kiefer 8 years ago 78aa7f23 eedc4e52