We should create a PR for this shortly after #4034 is merged - will be easier to do that now rather than when API 7.1 is released (both in terms of time and recalling what we did).
The PR will be merged only once API 7.1 is released.
Note: Only pure Bot API deprecations should be removed by this PR, e.g. the deprecated Defaults.quote will have to stay longer.
We should create a PR for this shortly after #4034 is merged - will be easier to do that now rather than when API 7.1 is released (both in terms of time and recalling what we did).
The PR will be merged only once API 7.1 is released.
Note: Only pure Bot API deprecations should be removed by this PR, e.g. the deprecated
Defaults.quotewill have to stay longer.