andreasgal/gaia — pull request #1440 by etiennesegonzac (2012-05-18 17:51:27+00:00)
Title: Using the developer friendly user proximity API

Needs https://bugzilla.mozilla.org/show_bug.cgi?id=751663

Should be quick!