From c6cd4ef248f6c0ef2880575517dac716f98008ed Mon Sep 17 00:00:00 2001
From: Adam Thorn <alt36@cam.ac.uk>
Date: Fri, 7 Jun 2019 11:43:01 +0100
Subject: [PATCH] VLC media player -> v3.0.7

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

diff --git a/vlcclient.xml b/vlcclient.xml
index a2dd9ce1..98066974 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.6" />
+<variable name="version" value="3.0.7" />
 
 <check type="uninstall" condition="versiongreaterorequal" path="VLC media player" value="%version%" />
 
-- 
GitLab