On 7 June 2016 at 07:18, Mike Hommey <m...@glandium.org> wrote: > MXR is already taking too long to fade out of existence, do we really > want yet another different tool?
For some contributors (like me) this may be, because they simply don't know that DXR is meant to replace MXR. If you want people to use DXR, you should mention that on the MXR homepage and other places. Sebastian _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
