Ihor Radchenko <[email protected]> writes: > Bastien <[email protected]> writes: > >> I tried to push a change and the build failed: >> https://builds.sr.ht/~bzg/job/1792035 > > Well... Your change removed all the custom ids in org-contribute.org, so > the links are broken now.
Err, reverted! The build passes all right now. -- Bastien
