sympy/sympy-bot — pull request #111 by certik (2012-06-21 19:12:59+00:00)
Title: Retry if there is a problem at the server

Fixes #110