Success. No setting of temporary-file-directory needed. Thanks, ---George On Sun, Dec 23, 2012 at 2:54 PM, Bastien wrote: > George Jones writes: > > > Should a git pull of development version of org pull the right patch? > > Yes. > > Simply ~$ git clone git://orgmode.org/org-mode.git (our master branch > is the development branch.) > > HTH, > > -- > Bastien >