No, the old repo git://repo.or.cz/org-mode.git
I used is some time behind the one I use now. If I want to get a fix immediately I learned I have to use the new repo git://orgmode.org/org-mode.git I hope I got this right. Rainer Am 26.10.2011 14:11, schrieb suvayu ali: > On Wed, Oct 26, 2011 at 10:07, Rainer Stengele > <rainer.steng...@online.de> wrote: >> Lacking knowledge of git I deleted everything, cloned from the new repo and >> compiled the files. >> Result was a significantly faster Org experience. >> > For future reference, a sinple `git pull` would have sufficed. >
