Dominique Leuenberger
6598506ca3
since there is no popd matching the pushd, this is trivially replacable by cd OBS-URL: https://build.opensuse.org/request/show/1248181 OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/4ti2?expand=0&rev=10