From 1d789867d26931888e83dce28fe5ff1fa6414e0b Mon Sep 17 00:00:00 2001
From: Akshat Agarwal <humancalico@disroot.org>
Date: Mon, 15 Jun 2020 04:05:34 +0530
Subject: [PATCH] support Pop!_OS 20.04

---
 python/servo/bootstrap.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py
index 0e9dbeb7981..eb4cc84f36b 100644
--- a/python/servo/bootstrap.py
+++ b/python/servo/bootstrap.py
@@ -351,7 +351,9 @@ def get_linux_distribution():
         else:
             major = version
 
-        if major == '19':
+        if major == '20':
+            base_version = '20.04'
+        elif major == '19':
             base_version = '18.04'
         elif major == '18':
             base_version = '16.04'