From 7eb0968e91d15c62ee7ac8af15adf6735d62e607 Mon Sep 17 00:00:00 2001
From: Josh Megnauth <jo.sh@tutanota.com>
Date: Sat, 22 Feb 2025 23:53:11 -0500
Subject: [PATCH] Remove obsolete varargs workaround

---
 Makefile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Makefile b/Makefile
index a76a66c630..71cd438343 100644
--- a/Makefile
+++ b/Makefile
@@ -85,7 +85,6 @@ BUILTINS_VERSION=0.1.70
 
 all: | headers libs
 
-# TODO: can sed be removed now that cbindgen iirc supports varargs?
 headers: $(HEADERS_DEPS)
 	rm -rf $(TARGET_HEADERS)
 	mkdir -pv $(TARGET_HEADERS)
@@ -100,7 +99,6 @@ headers: $(HEADERS_DEPS)
 			out="$(TARGET_HEADERS)/$$out.h"; \
 			cat "src/header/$$header/cbindgen.toml" cbindgen.globdefs.toml \
 				 | cbindgen "src/header/$$header/mod.rs" --config=/dev/stdin --output "$$out"; \
-			sed -i "s/va_list __valist/.../g" "$$out"; \
 		fi \
 	done