I have noticed that some commits haven't been reported by [EMAIL PROTECTED] 
lately. Is something wrong there?

Jürgen

Reply via email to