> 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-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform