mirror of
https://github.com/androidx/media.git
synced 2025-04-30 06:46:50 +08:00

There is no use case left where we couldn't use a better alternative (either looping in the player, using the Player playlist API, or ConcatenatingMediaSource for advanced cases) PiperOrigin-RevId: 367990981