user-manual: failed push to public repository

diff --git a/http-fetch.c b/http-fetch.c
index 09baedc18ae320a2f09fa61d9065bedb69c02a41..202fae0ba8b348aeca6ec6c61045f39aa0d1fa66 100644 (file)
--- a/http-fetch.c
+++ b/http-fetch.c
@@ -828,7 +828,7 @@ static void abort_object_request(struct object_request *obj_req)
        }
        unlink(obj_req->tmpfile);
        if (obj_req->slot) {
-               release_active_slot(obj_req->slot);
+               release_active_slot(obj_req->slot);
                obj_req->slot = NULL;
        }
        release_object_request(obj_req);