DNS entries for leapingtiger.org

I just finished moving the DNS management of leapingtiger.org from the old server to the new. It will take a little while for servers to update.

All .leapingtiger.org subdomains should be available again soon, hopefully.

If that works well, I’ll go and move all .tigris.fr subdomains management to the new server at some point (it’s still managed by Gandi so far.)