Merge pull request #113 from ePirat/configure-cleanup
authorRonnie Sahlberg <ronniesahlberg@gmail.com>
Mon, 21 Oct 2019 04:47:43 +0000 (14:47 +1000)
committerGitHub <noreply@github.com>
Mon, 21 Oct 2019 04:47:43 +0000 (14:47 +1000)
Configure cleanup


Trivial merge