[tor-commits] [metrics-lib/master] Prepare for 1.3.1 release.