mozilla/r2d2b2g — pull request #630 by nickdesaulniers (2013-06-17 21:19:35+00:00)
Title: notify user when push to device fails Fixes #593

review? @mykmelez