Change proc_mgmt/pending_clients.h to use reply queues instead of hashtables.
[barrelfish] / shell.nix
2016-12-20 Kosyrev Sergebuild: Nix environment