mirror of
https://github.com/docker/cli.git
synced 2026-09-02 02:24:27 -05:00
Mark device ID free only if device actually got deleted Upstream-commit: d6e01e3337a6ed1e941cf01840ee91ce55c55db4 Component: engine
Mark device ID free only if device actually got deleted Upstream-commit: d6e01e3337a6ed1e941cf01840ee91ce55c55db4 Component: engine