devenv: fix broken shell when using --clean
#1918
Merged
The logs for this run have expired and are no longer available.
Loading