commit: e061e2bcc889a5a83e03355df6d211cdd8c2a8dc Author: Michael Mair-Keimberger <mm1ke <AT> gentoo <DOT> org> AuthorDate: Sun Dec 7 22:29:51 2025 +0000 Commit: Michael Mair-Keimberger <mm1ke <AT> gentoo <DOT> org> CommitDate: Sun Dec 7 22:29:51 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e061e2bc
dev-ml/tiny_httpd: remove unused patch Signed-off-by: Michael Mair-Keimberger <mm1ke <AT> gentoo.org> dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch b/dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch deleted file mode 100644 index b35ba64f8d72..000000000000 --- a/dev-ml/tiny_httpd/files/tiny_httpd-0.12-noseq.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/src/dune 2023-01-30 20:28:23.578884847 +0100 -+++ b/src/dune 2023-01-30 20:28:33.523713488 +0100 -@@ -2,7 +2,7 @@ - (library - (name tiny_httpd) - (public_name tiny_httpd) -- (libraries threads seq) -+ (libraries threads) - (flags :standard -safe-string -warn-error -a+8) - (wrapped false)) -
