Revision d8e40fdda31577b6cd1518d35c8708bcebb2dfd6

Committed on 13/09/2017 1:33 am by Keleir <keleix@gmail.com> [GitHub Diff]

add metrics defination