Hello. On 29.03.23 00:14, Jakub Kicinski wrote:
On Tue, 28 Mar 2023 09:10:07 +0200 Stefan Schmidt wrote:Sorry for that. I did not update my pull request script when changing the git tree URLs to our team tree. Updated now. The tag is now on the tree above. You want me to send a new pull request or do you take it from here?Thanks, fresh PR would be better, I can't re-trigger the patchwork checks on an existing one :(
Sure, no problem. Sent a v2 just now. regards Stefan Schmidt
