Claude Paroz commented on a discussion:
It may be the reboot order was not totally right (maybe the filesystem hosting was still down when the server was restarted).
I tried to trigger a new build, let's see.
Claude Paroz commented on a discussion:
It may be the reboot order was not totally right (maybe the filesystem hosting was still down when the server was restarted).
I tried to trigger a new build, let's see.