[master] 0ca33e78e flint: Remove duplicate rule

Dridi Boukelmoune dridi.boukelmoune at gmail.com
Tue Aug 22 06:16:04 UTC 2023


commit 0ca33e78eed4c399635ad11fa70022163561ebdc
Author: Dridi Boukelmoune <dridi.boukelmoune at gmail.com>
Date:   Tue Aug 22 08:13:07 2023 +0200

    flint: Remove duplicate rule

diff --git a/flint.lnt b/flint.lnt
index 1f5598ded..fc618608f 100644
--- a/flint.lnt
+++ b/flint.lnt
@@ -207,7 +207,6 @@
 -esym(534, VSB_putc)
 -esym(534, VSB_printf)
 -esym(534, VSB_vprintf)
--esym(534, VSB_putc)
 
 ///////////////////////////////////////////////////////////////////////
 // <vtree.h>


More information about the varnish-commit mailing list