Closed keroro824 closed 10 years ago
This looks fine to merge -- please merge.
For some reason this isn't showing up as merged. I can't pull the commit and it's not reflected in the network graph.
Ok NOW it worked. I wonder if it was some bug / slowness with github.
closes #126