I seem to have overlooked updating the "release" branch on common-lisp.net. So the 3.1.7 tag was fine, but if someone tried to pull from the release branch, they would get an old version. This is fixed now. Thanks to RME of Clozure Associates for bringing this to my attention. Best, r