Hi, > We have a bug tracker now athttps://issues.gitorious.org/- would you mind > reporting this bug there?
No problem: https://issues.gitorious.org/issues/8 If you need any further information, let me know. Cheers, Oscar -- To post to this group, send email to gitorious@googlegroups.com To unsubscribe from this group, send email to gitorious+unsubscr...@googlegroups.com