Skip to content

publish.py: Remove obsolete sleep() calls#12686

Merged
bors merged 1 commit intorust-lang:masterfrom Turbo87:publish-scriptSep 18, 2023

Commits

Commits on Sep 18, 2023