From bc4efd5e98078946c1d62ad287361246ca571970 Mon Sep 17 00:00:00 2001
From: Daigo 3 Dango <zunda@users.noreply.github.com>
Date: Fri, 22 Jan 2021 09:09:40 +0000
Subject: [PATCH] Use libvpx >= 5 (#15591)

Ubuntu 18.04 provides libvpx5 while Ubuntu 20.04 does libvpx6
---
 Aptfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Aptfile b/Aptfile
index 419d159ef..b2cbad714 100644
--- a/Aptfile
+++ b/Aptfile
@@ -22,7 +22,7 @@ libpixman-1-0
 librsvg2-2
 libthai-data
 libthai0
-libvpx5
+libvpx[5-9]
 libxcb-render0
 libxcb-shm0
 libxrender1