v4.2.4

commit 7a1c2c072039ff593138f5a7d2e5b0b1f0762d0d
Author: Greg Althaus <galthaus@austin.rr.com>
Date:   Thu May 14 17:10:38 2020 -0500

    build: Fix publish correctly

M   tools/publish.sh

End of Note