3 ms·
From the GitHub Issue itself, the maintainer did end up creating a PR to fix a related issue raised by the bot: https://github.com/curl/curl/pull/12984 https://
by minimaxir 3y ago
From the GitHub Issue itself, the maintainer did end up creating a PR to fix a related issue raised by the bot: https://github.com/curl/curl/pull/12984 https://github.com/curl/curl/pull/12984
Also, the bot filed another issue on a different repo referencing the source issue, despite the complaints: https://github.com/mirror/wget/issues/25 https://github.com/mirror/wget/issues/25