VLC was updated to 3.0.3 in commit
d0e23e3940bb122cca5657e89e14ae5b7db49be4, so I think this patch is no
longer needed.

I'm closing the bug; please let me know if it should be re-opened.