Commit 18716e12 authored by ale's avatar ale

Drop bashisms pushd/popd

parent 4a3e816b
Pipeline #5251 failed with stages
in 57 seconds