Has everybody given up on the Air India stake sale?