Also have to consider if having no fans makes it easier for Martinez somehow. It’s a really hard decision to make, I think if Leno starts the first game we’ll probably lose Martinez this window. If Martinez starts the first game I think we could keep both for the season when Leno would then move on in 2021.
Just have to trust Arteta and the GK coaches I guess.
I suppose it depends on if they get an offer for either one as well. I doubt they sell Leno for less than what they got him for but £20m for Martinez might be too difficult for them to turn down this summer.