5 Feb
2013
5 Feb
'13
9:56 a.m.
Hi Gabor, On Tue, Feb 05, 2013 at 03:23:11PM +0100, Gabor Greif wrote:
since you have pinned a commit that is on a branch, people whose clones do not track that branch will never see the commit:
As far as I can see it's working now. If you're still having problems, does git pull rm -rf libraries/random ./sync-all get fix it? Thanks Ian