Patch 1.2.12

By drakkos

Oh God this is so much later than I planned and it is so much less than I had hoped.   I promise[1] that it won’t take so long to put out a patch every again. Anyway, 1.2.12 is now installed – it’s SO OLD now that I expect there will be teething troubles, but…