History of pg::Session::pid 1 change

In crates/hub/src/leader.rs, lines 360–362 on 70c3d02998a265776f5925971814ecb9f8bee7a225432ed181cedbf004a1de0c. Every change that wrote or deleted one of these lines, or deleted a line from between them. Exact, because each line keeps its identity across edits; edits elsewhere in the file are not here. Also: oxy log -L 360,362:crates/hub/src/leader.rs.