30 Jan
2019
30 Jan
'19
4:22 p.m.
Hi All.
I had a bad commit message in the qed-archive I mentioned here a few weeks
ago. I fixed it with a 'git push --force' (even though that's not
recommended) since I expect it to be a read-only archive going forward,
and I wanted it to be right.
In short, if you cloned it, please remove your copy and reclone.
Thanks!
Arnold