Update the stored devcontainer name when opening it
lohrm-stabl opened this issue · 1 comments
lohrm-stabl commented
Update the stored devcontainer name when opening it...
... as the name (& devcontainer) might have changed by now
michidk commented
It already updates the name when opening