>>>>> "Michael" == Michael A Koziarski <[EMAIL PROTECTED]> writes:
Michael> Hey guys, Poking around in the source tree I found a few Michael> cases of vector.size() being used where vector.empty could've Michael> been instead. Thanks MIchael. I'll apply it. JMarc
