richzeng/yunomi — pull request #5 by dreid (2012-10-04 20:40:57+00:00)
Title: Add a public API for getting and setting the global metrics registry.

This is useful for extending yunomi with things which will optionally use the global metrics registry.