nusenu
Bug 25107: replace ancient debian release names with newer onces
nusenu commited fc4589a3b at 2018-02-07 10:59:18