[NEW] External updater.
Merge branch 'dev' of github.com:GPGTools/GPGMail into dev