Okay, this evening, I see 10 packages being built and lots of messages
"build started"/"build succeeded"; so maybe there is no bug at work here.

Andreas




Reply via email to