rs/mpns — pull request #1 by jvah (2013-05-23 12:55:48+00:00)
Title: Export flipTile for WP8

Fixes a crash in pushd.