On Fri, 23 Dec 2016, Gert van der Spoel wrote: >>> I'd like to propose a few minor patches to UserDB. >> >> Sounds good to me ... +1 > > +1 & Happy holidays :) Thanks for the input, Racke & Gert. Merry Christmas and happy holidays to you all too! Jon -- Jon Jensen End Point Corporation https://www.endpoint.com/