On Tue, Sep 8, 2015 at 2:14 PM, Robert O'Callahan <[email protected]>
wrote:

> Yes, I think we should do this.
>

Happy to hear the positive responses.
I implemented a patch for this last year. Since the code is trivial, it
probably still applies: https://bugzilla.mozilla.org/show_bug.cgi?id=1008453
_______________________________________________
dev-platform mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-platform

Reply via email to