Merge commit 'refs/pull/13412/head' of git://github.com/NixOS/nixpkgs
Nikolay Amiantov 10 years ago 23dd97ee 2569d5b3