It seems the service (https://david-dm.org) is down for several days. I know it might not be cheap to host this and perhaps there's some kind of service disruptions; but does anybody know anything about this? I have seen this being intermittent but haven't seen this being down for several days. Is it permanently closed?
It seems the service (https://david-dm.org) is down for several days. I know it might not be cheap to host this and perhaps there's some kind of service disruptions; but does anybody know anything about this? I have seen this being intermittent but haven't seen this being down for several days. Is it permanently closed?