Translations for Pushpin, a Pinboard client for iOS.