19 Jun
2020
19 Jun
'20
3:39 p.m.
Simon Peyton Jones <simonpj@microsoft.com> writes:
All good now?
As noted earlier, the safe answer is "no". It appears that our storage provider is having some trouble. I'm so far unsure of whether this is a temporary problem or something more sinister. Cheers, - Ben