On Sat, Aug 24, 2013 at 10:15 AM, Luis Villa <luis at lu.is> wrote: > > I'm not a git/github expert by any stretch, and specifically, I can't > figure out how to fork this "1.2" patchset instead of the 1.1 master > branch. Anyone have a pointer? Thanks! Nevermind, just noted the -dev file. Luis