Closed mohangk closed 11 years ago
+1
FWIW, I think stuff like this could safely go straight to master without a PR since it is a small change with no behavioral modification. What do you guys think?
Seems reasonable to me - we should just merge it.
The url has changed, this fixes it. Cheers.