Nah, Leno is good. Because Martinez did so well in project restart some people forgot how Leno was earlier in the season, he was our best player two years ago. Apart from Cech and the cameo from Martinez, I can't think of any keeper between Seaman and Ramsdale as good as Leno.
I'll hold my hands up and say it looks like Ramsdale will turn out to be a decent signing, I honestly didn't see the point because we already had Leno.
The problem Arsenal have is Leno is too good to be a #2 at a team not in European competition (and presumably on a good wage), but they haven't really got a replacement lined up. Okonkwo for example is utterly terrible based on preseason.