josh-proxy shutdown: try longer and reduce slack#49

RalfJung wants to merge 1 commit into

rust-lang:mainrust-lang/josh-sync:mainfrom

RalfJung:josh-proxy-shutdownRalfJung/josh-sync:josh-proxy-shutdownCopy head branch name to clipboard