Apologies for the double-post: gmail timed out. Gave me an opportunity to add a useful line though (:
-- Ubuntu-devel-discuss mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss
