Skip to content

More post-merge cleanups for ptmgr

Nick Mathewson requested to merge nickm/arti:ptmgr-cleanup-redux into main

This MR resolves the open discussions from !893 (merged).

Assigning review to @Diziet, since it's their comments I'm addressing.

Merge request reports