Re: [mantisbt-dev] mantisbt.org is down

[John R. <jr...@le...>]

It seems to be a DNS issue.  The server is up and running correctly based on its 
IP address, but DNS queries are not resolving mantisbt.org....

-- 
John Reese
LeetCode.net