From: nickjsanders <nick.j.sanders@gmail.com>
Date: Fri, 15 Dec 2017 19:44:03 +0000 (-0800)
Subject: Merge pull request #57 from ymjmsghs1/change_type
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=dd550fcf808a97a822a7d32ae18b1ee9a5213001;p=stressapptest

Merge pull request #57 from ymjmsghs1/change_type

Change integer 'use_logfile_' to boolean
---

dd550fcf808a97a822a7d32ae18b1ee9a5213001