On Thu, Sep 04, 2008 at 10:35:33PM +0200, Miroslav Kure wrote: > Finally, I also updated the user's guide according to the edits Daniel > made in the last few days. Could you please commit it again?
Done. Jens -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
