I'm glad this finally got done, and apparently was done in time for him to join the team on tour.
It's also somewhat impressive looking at the transfer business that Arsenal have brought in 6 players 2-3 who will be starters, and have only spent about £200m. That's a lot of money, but it's about what Arsenal spent in 22/23 for Gabriel Jesus, Zinchenko, Fabio Vieira, Trossard, Kiwior, Jorginho, Matt Turner and Marquinhos. IMO the players Arsenal bought this time are more impressive.
OTOH, the selling is incredibly bad so far. Arsenal has 6 players out: Tavares, Marqinhos, Tierney, Jorginho, Tomiyasu and Partey and they have brought in a total of £7m so far. I really think Arsenal needs to get better at selling.