> > I'll fix that as a followup patch if you confirm the above. > > I do not think it matters if it is checked in as is, there is a huge > amount of such cases needing to be caught anyway. OK - I am happy to change it whenever, or let you guys change it when you change the type of that field. -- Joel