criteo/metrics-net — pull request #4 by razrin (2014-06-18 13:46:31+00:00)
Title: Use SortedList instead of SortedDictionnary

The retrieval of the lowest priority is faster, thus it reduce
the overhead of the metrics