On 2013-06-21 13:28, Nicolas Goaziou wrote:
Carsten Dominik <carsten.domi...@gmail.com> writes:
This is a good change - I am also for merging it.
Applied on master, since it introduces a syntax change. Tell me if you
want it on maint anyway (or just cherry-pick it yourself).
As for the move from #+OPTIONS: key:value to #+OPTIONS: :key value,
I can provide a patch, but it will break export in many documents.
A workaround would be to support both versions and document only the
+1 for supporting both versions (with a deprecation on the old syntax)
the next major release.