In case you haven't seen it, this should be fixed in https://github.com/mozilla/dxr/commit/ac2b17f9184eb618e8b048b98e938715bb952722. Cheers!
Erik _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
