On 5/5/2016 6:45 PM, Karl Berry wrote: > Thanks Ken. I'd noticed the failure but hadn't had a chance to > investigate. Can you commit the fix, please? thanks, k. Done. I didn't add a ChangeLog entry because there was no entry for the original version bump. I'll add one if you want me to. (No need to respond if you don't care.) Ken