Commit 70506171c44753410c67f4b3eeebf1c5832ff05d

Edward Thomson 2022-04-25T09:15:11

Merge pull request #6276 from lhchavez/delete-git_transport_smart_proxy_options remote: Delete a now-inexistent API declaration