commit ee20adca107e4547910202b4d88a0a8617cd70ed Author: nusenu nusenu-github@riseup.net Date: Wed Jan 31 22:19:30 2018 +0000

Bug 25107: fix "from source" option --- docs/debian-selector.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/debian-selector.js b/docs/debian-selector.js index 6da0d087..12554c19 100644 --- a/docs/debian-selector.js +++ b/docs/debian-selector.js @@ -39,7 +39,7 @@ var software = { 'sid': [ 'sid' ], 'trusty': [ 'trusty'], 'xenial': [ 'xenial'], - 'yakkety': [ 'yakkety'], + 'artful': [ 'artful'], }, 'experimental-0.3.3.x': { 'jessie': [ 'jessie' ], @@ -48,6 +48,7 @@ var software = { 'sid': [ 'sid' ], 'trusty': [ 'trusty'], 'xenial': [ 'xenial'], + 'artful': [ 'artful'], }, }, };