[tor-commits] [metrics-base/master] Update PostgreSQL JDBC driver version.