On Mon, Jun 15, 2009 at 10:34:32PM +0100, Peter Robinson wrote:
>> As a side note, is this impacting override tagging, as well?
(I'm not sure
>> if the two functions are related.)
>
> They're unrelated.
Is there a different problem with the override tagging then?
Yes. Mostly getting people to do them.
josh