From 434c8be4bbda4246b8f5066a0e26b425b894a971 Mon Sep 17 00:00:00 2001
From: Adam Thorn <alt36@cam.ac.uk>
Date: Wed, 12 Jun 2019 14:56:38 +0100
Subject: [PATCH] VLC media player -> v3.0.7.1

---
 vlcclient.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vlcclient.xml b/vlcclient.xml
index 98066974..9a3f703b 100755
--- a/vlcclient.xml
+++ b/vlcclient.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <packages>
 <package id="vlcclient" name="VLC media player" revision="%version%.1" priority="0" reboot="false">
-<variable name="version" value="3.0.7" />
+<variable name="version" value="3.0.7.1" />
 
 <check type="uninstall" condition="versiongreaterorequal" path="VLC media player" value="%version%" />
 
-- 
GitLab