From: Tom Clegg <tom@curoverse.com>
Date: Tue, 10 Mar 2015 20:16:15 +0000 (-0400)
Subject: Merge branch 'sigint' closes #5178
X-Git-Url: https://git.arvados.org/arvados-dev.git/commitdiff_plain/6c6ca86bfa400d880d051fd87c7c1fb9b8905114

Merge branch 'sigint' closes #5178
---

6c6ca86bfa400d880d051fd87c7c1fb9b8905114