fix(elimination_handler): re-write patch (#86)

This commit is contained in:
2024-05-04 10:15:40 +02:00
committed by GitHub
parent f9e6352940
commit f2dd8d5c38
5 changed files with 13 additions and 17 deletions

2
.gitmodules vendored
View File

@ -19,4 +19,4 @@
[submodule "deps/curl"]
path = deps/curl
url = https://github.com/curl/curl.git
branch = curl-8_5_0
branch = curl-8_7_1