Closed int-index closed 9 years ago
@Gabriel439 Could you please merge this? It's needed to build Morte using the latest Stackage snapshot.
Yes! Sorry about that. Don't feel afraid to ping me when a pull request is urgent
@Gabriel439 Could you please merge this? It's needed to build Morte using the latest Stackage snapshot.