This is a bug I introduced in a recent change in the document. I will fix it tonigh (if nobody beats me to it, that is)
Sorry for the noise, Javier -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/cab9b7uu4ozkc+gyxwi5tlh8kkou+9-s7cnmjdjftxfvvcnh...@mail.gmail.com
