Some DNS problems with Ariejan.net

This is just a quick note to let you know there are currently some issues with DNS for Ariejan.net. This basically means that Trac and SVN are currently not available. I’ve made the appropriate changes and things should be working again in a few hours.

I’m very sorry for the inconvenience.

Update: It appears that things are working again. If you have any issues with Trac, please let me know.