As much as I remember, he only did one good save against Bayern Munich. In the first leg, he faced no shots.
In second leg, he conceded three goals out of which at least one of them should have been saved.
Mate, in that second leg he did at least 3 crazy saves, without him and if we played as relaxed as we did, Bayern had a real shot of taking us out
He was MotM in that game, also did great against PSG (the Cavani save), and against City (penalty save), etc... benching him for the final would be so unwarranted and unfair.
Oh, and apart from the saves, his distribution is always stellar, way superior to Bravo in that regard if you ask me.