I can see a few bugs relating to multiple trees on bugzilla (e.g. 850479). If it's something that's been nagging people, I can jump on them starting with the search scoping problem I noticed earlier. I'll file a new bug for that.
-- Cordially, Noufal http://nibrahim.net.in _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
