A short and quiet week, given that it falls between Christmas and the New Year.

I took advantage of the lull to catch up on a few things - some of them boring but necessary, like the end of year accounts; and others more interesting, getting an updated version of DHCP and DNS code out for the Arduino community had been on the to-do list for too long. It's also resulted in me gaining official responsibility for the Arduino Ethernet library, and the first task from that is to migrate the DHCP and DNS code into the core.