search

sympy / sympy-bot

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

Better handling of multiple multiline notes with weird indentation #15

Closed asmeurer closed 6 years ago

asmeurer commented 6 years ago

See sympy/sympy#14758.

Fixes #14.