Hi, On Tue, 30 Nov 2010 21:02:05 -0600, Norbert Thiebaud <nthiebaud at gmail.com> wrote: > Important: for your next pull do ./bin/g pull -r BEFORE git pull -r Could you apply the attached patch for /bin/sh? Cheers, -- Takeshi Abe