w3c/push-api — pull request #28 by mvano (2014-08-29 14:23:28+00:00)
Title: Delete note about History API

This fixes issue #16.