Merge branch 'master' of github.com:google/nsjail
authorRobert Swiecki <robert@swiecki.net>
Thu, 25 Oct 2018 12:10:33 +0000 (14:10 +0200)
committerRobert Swiecki <robert@swiecki.net>
Thu, 25 Oct 2018 12:10:33 +0000 (14:10 +0200)

Trivial merge