search

sympy / sympy-bot

GitHub bot for SymPy
https://github.com/sympy-bot
Other
22 stars 11 forks source link

Remove text about reloading the page #92

Closed asmeurer closed 3 years ago

asmeurer commented 3 years ago

It is no longer necessary to reload the page. GitHub now updates the comment automatically.