Hello all, Am Sun, Apr 13, 2025 at 02:56:28PM +0200 schrieb Andreas Enge: > I have rebased the r-team branch on master without any problems and > pushed. So if you think r-team is ready now, please feel free to push > it to master.
Ricardo has just pushed the branch to master, thanks to all for their cooperation. According to policy, I am closing the r-team merge request and have also deleted the r-team branch, which was right now the same as master. Please feel free to immediately reopen the branch with the next changes, and to file a merge request issue to return to the back of the queue. Andreas
