On Tue, Aug 09, 2016 at 05:43:03PM +1000, Amitay Isaacs wrote: > Hi, > > Does this need a bugzilla defect? Yes, I think so. > Please review and push. Hmmmm. I should look at warnings better again. Sorry! Will push with a bugzilla entry. Volker