From: nickjsanders <nick.j.sanders@gmail.com>
Date: Fri, 7 Oct 2016 03:15:18 +0000 (-0700)
Subject: Merge pull request #43 from nickdesaulniers/android
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=880fb47e66e138b49f059fa6f5739a2bef8a84a3;p=stressapptest

Merge pull request #43 from nickdesaulniers/android

update Android build
---

880fb47e66e138b49f059fa6f5739a2bef8a84a3