Important: clink update fails in v1.9.12 -- manual update needed #839
Description
v1.9.13 has a fix.
But v1.9.12 cannot download/install updates correctly (older versions and newer versions can; only v1.9.12 cannot).
A manual install of v1.9.13 or newer is necessary, if you were unlucky enough to update to v1.9.12 during the 5 hours where it was available.
Sorry for the inconvenience!
(I tested updates extensively, but not exhaustively, and I missed an issue that could only occur when installing a real update from github -- and I didn't create a test repo, so I missed that case.)