Skip to content

Conversation

marcoieni
Copy link
Member

taken from this zulip message

@rustbot
Copy link
Collaborator

rustbot commented Sep 23, 2024

r? @Kobzol

rustbot has assigned @Kobzol.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 23, 2024
@marcoieni marcoieni force-pushed the docs-dev-desktops-document-available-disk-space branch from 4e6a5f8 to eb1a957 Compare September 23, 2024 10:00
@marcoieni marcoieni force-pushed the docs-dev-desktops-document-available-disk-space branch from 1d9a281 to 130ee3f Compare September 23, 2024 12:51
@marcoieni marcoieni enabled auto-merge September 23, 2024 12:52
@marcoieni marcoieni merged commit f420591 into master Sep 23, 2024
1 check passed
@marcoieni marcoieni deleted the docs-dev-desktops-document-available-disk-space branch September 23, 2024 12:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants