Hi Joost,
You're right -- it's done now, let me know if that's okay for you.
Joost Kremers <joostkremers@fastmail.fm> writes:
> 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?
Thanks,
--
Bastien