Il giorno mar 31 mar 2020 alle ore 10:16 <pkx1...@posteo.net> ha scritto: > It will eventually become part of the Website.
I see that the new links are already online, while the existing links haven't changed yet. My patch changed the make_download calls in scripts/build/create-weblinks-itexi.py, but it seems like the old version of that script was run. Is this expected or did I miss anything in my patch? Best wishes. Davide
