Manchester City will not stand in Aymeric Laporte’s way if the defender wants to pursue a move elsewhere.
Previously an integral member of Pep Guardiola’s team, Laporte has been restricted to only seven Premier League starts this season.
Saturday’s inclusion in the win over Leicester City came as Guardiola rotated the team ahead of the midweek trip to Bayern Munich in the Champions League.
The 28-year-old has featured just twice in all competitions since a draw at Nottingham Forest in February.
That is despite Guardiola reverting to a back three, and often fielding four centre halves within that system.