Success.   No setting of temporary-file-directory needed.

Thanks,
---George



On Sun, Dec 23, 2012 at 2:54 PM, Bastien <bzg@altern.org> wrote:
George Jones <eludom@gmail.com> 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