I'm afraid it looks like I either made a typo while doing this, or something odd happened. Regardless it didn't work correctly.
Take 2, sorry for the noise --- but at least the patch section on updates.orgmode.org should be more useful now as it only shows pending patches again. Timothy <tecos...@gmail.com> writes: > This was not marked as applied on updates.orgmode.org. > Doing so with the X-Woof-Patch header. > > Bastien <b...@gnu.org> writes: > >> Of course, done (c822c80ef). >> >> Sorry I forgot about this patch, and thanks for your reply.