search

sagemath / sage-patchbot

Sage Patchbot
https://www.sagemath.org
Other
8 stars 17 forks source link

Bump up limit to work around broken sort order #117

Closed saraedum closed 7 years ago

saraedum commented 7 years ago

This works around #116.

Please don't merge this. This is just so people can temporarily fix this on their local patchbots.