Commit 75defb75a81c68b5eaa9601d0d70b803928aa7a4

punkymaniac 2021-05-18T10:51:20

Add documentation about GIT_OPT_GET_USER_AGENT