Some delinting following the nowait merge.
authorTim Vaughan <tgvaughan@gmail.com>
Thu, 31 Oct 2019 18:53:35 +0000 (19:53 +0100)
committerTim Vaughan <tgvaughan@gmail.com>
Thu, 31 Oct 2019 18:53:35 +0000 (19:53 +0100)

No differences found