Re: [CEDET-devel] semanticdb problem

[David P. <Dav...@wa...>]

Hi Eric,

[...]
> In the meantime, the discussed fix would be great.

I checked it in.

Thanks!
David