Since the problem with the python-team branch persists, it would make
sense to let r-team be merged. It is already being built by QA.

Andreas




Reply via email to