search

sagemath / sage-patchbot

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

Fix build #136

Closed jdemeyer closed 5 years ago

jdemeyer commented 5 years ago

Fix #135