Fixes #110 You can merge this Pull Request by running:
git pull https://github.com/certik/sympy-bot task_url Or you can view, comment on it, or merge it online at: https://github.com/sympy/sympy-bot/pull/111 -- Commit Summary -- * Retry if there is a problem at the server -- File Changes -- M utils.py (14) -- Patch Links -- https://github.com/sympy/sympy-bot/pull/111.patch https://github.com/sympy/sympy-bot/pull/111.diff --- Reply to this email directly or view it on GitHub: https://github.com/sympy/sympy-bot/pull/111 -- You received this message because you are subscribed to the Google Groups "sympy-patches" group. To post to this group, send email to sympy-patches@googlegroups.com. To unsubscribe from this group, send email to sympy-patches+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sympy-patches?hl=en.