797adc4 Rebuild for new ghc-utf8-string

Authored and Committed by bruno 12 years ago
    Rebuild for new ghc-utf8-string
    
        
file modified
+4 -1