From 255be5658879df651ce84dcb496246fc0c041942 Mon Sep 17 00:00:00 2001
From: David Hyde <DABH@users.noreply.github.com>
Date: Sun, 24 Feb 2019 16:18:56 -0800
Subject: [PATCH] fix binary name in printouts, lint (#80)