Rename AttemptId to DownloadId (!1449) · Merge requests · The Tor Project / Core / Arti · GitLab

The source project of this merge request has been removed.

Neel Chauhan requested to merge (removed):bug811 into main Jul 30, 2023

We also rename Download Attempts to Download Sessions where it makes sense.

Closes #811.