Derek Smithies wrote: > - Did I miss something, or is there a basic philosophy problem here? Not at all. But we fix warnings when we've fixed the rest of the more important stuff... basically, when preparing for a release, or when we have spare time :-)