On Tue, Oct 1, 2013 at 1:01 PM, Daniel Kinzler daniel.kinzler@wikimedia.dewrote:
Ok, I have now found and tackled the issue.
This was indeed a bug in EasyRDF that got fixed since we forked half a year ago. [....]
Having to maintain the fork is really a pain, I wish there was a better way to do this.
How about not creating a fork just so you can delete a couple of directories? The full download is a whopping 260KB. Is that really too big/complex to include in its entirety and just ignore the parts you don't use?
Tom