I just fixed this on download.videolan.org and it should be propagated to get.videolan.org shortly. Thanks for the reminder. This was simply forgotten to do.
VideoLAN
Felix Paul Kühne
Medic. VLC developer for appleOS since before you were born.
Blog: https://www.feepk.net