On 16 Feb 2021, at 13:34, Robert Goldman wrote:

There was an oddball thing in the Makefile, and changing it broke the CI.

I'm just fixing it up now, but please don't pull from master until you get further notice.

If you *have* pulled from master today, please backup to 3.3.4.8 until further notice.

Sorry for any inconvenience.

The master branch of the repository should be healthy again, and has been tagged as 3.3.4.9 Thanks for your patience