Merge pull request #1362 from joelpmichael/develop

add raspbian_10_debian_base="10.0"
This commit is contained in:
Pedro Algarvio 2019-08-28 14:07:45 +01:00 committed by GitHub
commit db4da1ffd6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1448,6 +1448,7 @@ __debian_derivatives_translation() {
linuxmint_1_debian_base="8.0"
raspbian_8_debian_base="8.0"
raspbian_9_debian_base="9.0"
raspbian_10_debian_base="10.0"
bunsenlabs_9_debian_base="9.0"
turnkey_9_debian_base="9.0"