Domen Kožar d03178aae3 Point to the new mailing list by replacing the old link		2017-07-18 13:44:10 +02:00
..
manual	Point to the new mailing list by replacing the old link	2017-07-18 13:44:10 +02:00