openpgpjs/openpgpjs — pull request #207 by tanx (2014-04-02 16:41:54+00:00)
Title: Fix random.js for IE11

@toberndo this fixes https://github.com/openpgpjs/openpgpjs/issues/203

If it's ok, we can include it in the v0.5.1 release.