Bug 1643370 - Add POP!_OS to supported debian distros r=froydnj

Differential Revision: https://phabricator.services.mozilla.com/D78316
This commit is contained in:
Valentin Gosu 2020-06-04 15:45:15 +00:00
parent 52674d1803
commit 9e9b45920a

View File

@ -175,6 +175,7 @@ DEBIAN_DISTROS = (
'linuxmint',
'elementary',
'neon',
'pop',
)
ADD_GIT_TOOLS_PATH = '''