>>>>> "Angus" == Angus Leeming <[EMAIL PROTECTED]> writes:

Angus> Christian Ridderström wrote:
>> Hi
>> 
>> Is the following a bug I should report?

Angus> Yes please. Shove it on bugzilla

I guess it is as simple as using a vector<string> instead of a
set<string>. We've had a lot of problems with people who want to
`optimize' things this way.

JMarc

Reply via email to