Vladimír Čunát 0be2928ac9 Merge branch 'master' into staging ... Evaluation was blocked on Hydra; this should fix it.		2017-10-05 12:34:05 +02:00
..
default.nix	Merge branch 'master' into staging	2017-10-05 12:34:05 +02:00