Guy Wiener <wiener.guy@gmail.com> writes:

> Do you mind sending a patch just for that? I prefer to check it without
> switching to the development release.

The best is then to wait for the next release.

It's too much work for developers to commit patches *and* to send them
individually.

(You can still explore the diff on http://repo.or.cz/w/org-mode.git)

--
 Bastien