My bad, I misread bug 1050252.

You are right, that is basically a different implementation of the same
general idea.

Thanks for the pointer,
 David


On 13/02/16 21:39, Matthew N. wrote:
_______________________________________________
dev-platform mailing list
dev-platform@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-platform

Reply via email to