Hi, the linuxtv.org server will move to a new, freshly installed machine tomorrow. Expect some downtime while we do the final rsync and database export+import. I'm planning to start disabling services on the old server about 30min before 12:00 UTC (13:00 CET) on Mon Nov 30. If all goes well the new server will be available soon after 12:00 UTC. The IP address will not change. Johannes -- To unsubscribe from this list: send the line "unsubscribe linux-media" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html