<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">
</head>
<body>
<div style="font-family:sans-serif"><div style="white-space:normal">
<p dir="auto">On 16 Feb 2021, at 13:34, Robert Goldman wrote:</p>
<blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px">
<p dir="auto">There was an oddball thing in the Makefile, and changing it broke the CI.</p>
<p dir="auto">I'm just fixing it up now, but please don't pull from master until you get further notice.</p>
<p dir="auto">If you <em>have</em> pulled from master today, please backup to 3.3.4.8 until further notice.</p>
<p dir="auto">Sorry for any inconvenience.</p>
</blockquote>
<p dir="auto">The master branch of the repository should be healthy again, and has been tagged as 3.3.4.9</p>
<p dir="auto">Thanks for your patience</p>
</div>
</div>
</body>
</html>