I’ve just pushed shimmer 0.1.3 to github and hackage. This fixes a bug with
encoding of UTF-8 strings. If you want to deserialise the interface file for
any module that uses unicode strings then you’ll need to upgrade.
You received this message because you are subscribed to the Google Groups
To unsubscribe from this group and stop receiving emails from it, send an email
For more options, visit https://groups.google.com/d/optout.