rs/pushd — pull request #26 by jvah (2013-05-24 15:08:03+00:00)
Title: Updates to documentation, libraries and mpns handler

This request contains several small fixups and a new script for testing the pushd performance. More information about the latter is included in the corresponding README.