Nightly diff (again)

[Ruud_Baars]

Yesterdays nightly diff is not there yet; and I am quite curious today

Okay, I subscribed (again?) May have forgotten I unsubscribed. Getting old…

[dnaber (Daniel Naber)]

No, there are technical issues which we’re working on.