8 Dec
2013
8 Dec
'13
1:27 p.m.
On 8 December 2013 12:52, John Maddock
Do we have anyone to maintain that library anyway?
If not you'd likely end up having to handle the pull request anyway :-(
Just to give people a chance to comment really. I think anyone who's watching the repo will be notified, which is only one person in this case, but hopefully people will watch repos they care about.