Merge 57fbee1490 into 7955ee9d35

2025-10-29 23:10:28 +01:00
1 changed files with 1 additions and 2 deletions
--- a/.devcontainer/install-deps.sh
+++ b/.devcontainer/install-deps.sh
@ -14,7 +14,6 @@ set -ex
 export DEBIAN_FRONTEND=noninteractive
 sudo apt-get update && \
 sudo apt-get install -y --no-install-recommends \
-  iputils-ping \
  build-essential \
  device-tree-compiler \
  gperf g++-multilib gcc-multilib \