I don't think that's accurate. Grinmint API is down but the pool is still working as far as I can see.

Edit: rigs failed over to another pool, so perhaps grinmint is indeed down.