On Thu, Jul 07, 2011 at 09:16:24AM +0200, Bastien wrote: > I'm releasing Org 7.6.
could it be that the new release hasn't been merged into maint yet? i've created a "stable" branch tracking origin/maint as per the instructions here: http://orgmode.org/worg/org-faq.html#using-stable-releases-only but doing a 'git pull' tells me "already up-to-date" and 'grep org-version' gives me a line with "7.5" in it. -- Joost Kremers Life has its moments