Subject: Re: [bug#30678] [PATCH] Update VLC to 3.0.1
From: Leo Famulari <[email-masked]>
To: Marius Bakke <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Wed, 29 Aug 2018 16:56:23 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

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.