Vladimír Čunát b70c93f211 Merge branch 'master' into nix-2.0		2018-03-03 18:02:35 +01:00
..
manual	Merge branch 'master' into nix-2.0	2018-03-03 18:02:35 +01:00