Thomas Lange Mon, 20 Jan 2020 06:16:22 -0800
I can also remove fedora 17 completetly. Any objections? -- regards Thomas