Hi Guillaume, > It is fixed for officials repos workers but workers used for home repos are > still broken. > Dirk, could you have a look at it, please?
There is no differentiation between official and non-official workers. where did you see it failing (project/package)? Thanks, Dirk -- To unsubscribe, e-mail: [email protected] To contact the owner, e-mail: [email protected]
