I wrote: > I'm now pulling the whole repository anew to see if the problem is > on my side, but this will take a few hours ...
Ah, not quite. It picked up some speed after a while :-) Alas, things look exactly the same as before: no WLAN, wrong dates, and build failures if I try out older revisions. Did some poltergeist attack the git repository during the weekend ? - Werner
