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