I see. Yes, that fixed it. But I learned quite a bit about github and julia in the meantime. :) I've noted the fix in the github issue.
On Wednesday, 23 July 2014 12:32:29 UTC+1, [email protected] wrote: > > Yes, that's my fault, I should have run the tests one last time. I fixed > it and tagged a new version (0.2.47) a few ours ago, hoping no one would > notice. A `Pkg.update()` should fix it for you. >
