Ihor Radchenko <yanta...@posteo.net> writes: > It looks like there is some problem with publishing index.org in > particular. I made several changes, but none of them is visible on > orgmode.org. At the same time, my changes to tools.org page are > visible.
Yes -- perhaps this error has something to do with this: https://builds.sr.ht/~bzg/job/1176324#task-build-41 -- Bastien Guerry
