Many thanks Daniel to let us know! :)
Now that you report that all should be working, I'll take an eye in the
following days to see how things goes. As well I plan some updates for the
website soon, so I'll test if something goes wrong. I must say that until
the last two updates, all was going
One of our web nodes had the wrong checkout of the website but I've
gone ahead and fixed it. Should be all worked out now, but in the
future if you have problems with updates not being immediate, on
https://selfserve.apache.org/ you can use
https://gitbox.apache.org/setup/resync.cgi to resync the
