Vladimír Čunát 5a98b9f514 Merge recent master into p/stdenv
Merged just before the pypi update, as it seems to cause problems on Hydra.
2014-06-09 19:07:31 +02:00
..
2014-03-17 22:02:48 +08:00
2014-06-09 19:07:31 +02:00
2014-03-22 23:09:39 +08:00
2014-03-17 22:06:32 +08:00