Of that I am not certain, but Apple has banned VLC and many other apps, and continues to ban any GPL code from the app store: https://www.fsf.org/news/2010-05-app-store-compliance
There is a way for end users to modify their software now, but I don’t know if it would satisfy that developer. VLC relicensed to make clear they don’t require distributors to do this.
https://www.fsf.org/blogs/licensing/more-about-the-app-store...