search

sagemath / sage-patchbot

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

Fix #109 #111

Closed embray closed 7 years ago

embray commented 7 years ago

This fixes #109 in the way I suggested in that issue. This PR is based on #110 which should be merged first, though it could be made independent of it.