[Git][cmucl/cmucl][master] Update with fixed tickets that we forgot to add earlier.