Achim Gratz <strom...@nexgo.de> writes: > Bastien writes: >>> We'll have to tell users to forcibly update the tags again. >> >> For the users who will not do this, only the release_7.8.11 >> will not properly set, right? > > Yes. Another sticky point is that any clones of the orgmode repo (like > the one on repo.or.cz) will not automatically pick that change up as > well.
I contacted the repo.or.cz for this, thanks. >> If so, you can go ahead with the change. > > Done. Thanks! -- Bastien