core: tools: zenoh: Update to 1.7.2

joaoantoniocardoso · joaoantoniocardoso · commit 239df0d9506d · 2026-02-12T17:49:59.000-03:00
diff --git a/core/tools/zenoh/bootstrap.sh b/core/tools/zenoh/bootstrap.sh
@@ -4,7 +4,7 @@
 set -e
 
 PROJECT_NAME="zenoh"
-VERSION="1.3.4"
+VERSION="1.7.2"
 BINARIES=(
   "zenoh"
   "zenoh-plugin-webserver"
