tor-ptmgr: Don't let a PT be specified more than once

Neel Chauhan requested to merge neel/arti:bug665 into main

Closes #665.

Edited by Neel Chauhan

Merge request reports