IP address changes

All my IP addresses have rather hurriedly changed. If you're using the names below, you'll be fine and when the DNS changes propagate (~3h) everything will work again.

If you're not, you'll need to update things. Ideally to using the names :) fairygodmother.avi.co is now the same IP address as bigbadwolf.avi.co, not just the same host.

Old New Name
80.87.131.17 80.87.129.54 swamp.avi.co
80.87.131.16 80.87.128.7 bigbadwolf.avi.co
80.87.131.48 80.87.130.153  donkey.avi.co
80.87.135.231 80.87.130.154 merlin.avi.co
80.87.131.18 80.87.128.7 fairygodmother.avi.co