Merge pull request #441 from thomasdullien/master
authorBill Williams <wwilliam47@gmail.com>
Tue, 20 Mar 2018 19:50:43 +0000 (14:50 -0500)
committerGitHub <noreply@github.com>
Tue, 20 Mar 2018 19:50:43 +0000 (14:50 -0500)
commit7e2c490be9ed8239b651aebdaf64280d4286faa4
tree8ce237a37a74670cbcc05916c80d81744eb90bcb
parentb663cf98c97b6dd45ce6ad32f0fc6caf510185c6
parent21fb9f19ab271b90d1816471de625b9df7e29ef0
Merge pull request #441 from thomasdullien/master

Very minor clean-up a particualrly ugly piece of code.