On 2019-05-05 10:44, Rainer Hurling wrote: > Did you realize r500863[1], which arrived some hours ago and solve the problem with the hotfix? Perfect; thanks! (My shell history shows I did check for this at 10:33am PDT but my mirror hadn't updated by that point.) Craig