> What is the relative priority of permalinks to specific revisions?
High! My great new intern Peter has a PR open right now: https://github.com/mozilla/dxr/pull/419 _______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
