From: Michael D. Lowis Date: Tue, 21 Aug 2018 13:00:22 +0000 (-0400) Subject: merge changes from upstream X-Git-Url: https://git.mdlowis.com/?a=commitdiff_plain;h=cc9fb2158520361b40e609ebff54a781711a38d1;p=projs%2Ftide.git merge changes from upstream --- cc9fb2158520361b40e609ebff54a781711a38d1