diff --git a/external/java_websocket/patches/ant-build.patch b/external/java_websocket/patches/ant-build.patch index 6f86c530ca0d..c2546bcc1f1e 100644 --- a/external/java_websocket/patches/ant-build.patch +++ b/external/java_websocket/patches/ant-build.patch @@ -1,6 +1,6 @@ --- /dev/null 1970-01-01 01:00:00.000000000 +0100 +++ b/build.xml 2023-08-30 11:43:05.152647141 +0100 -@@ -0,0 +1,23 @@ +@@ -0,0 +1,24 @@ + + + @@ -8,6 +8,7 @@ + + ++ + + +