ripple/rippled — pull request #423 by HowardHinnant (2014-07-01 17:33:00+00:00)
Title: Simplification of basic_seconds_clock.

This eliminates an unnecessary vector of pointers from the basic_seconds_clock implementation. This may allow us to remove the vc++ hack of stopping the clock at the end of main.