Skip to content

Don't ping everyone on rebase mistakes#1672

Open
JakobDegen wants to merge 1 commit intorust-lang:masterfrom
JakobDegen:rebase-mistake
Open

Don't ping everyone on rebase mistakes#1672
JakobDegen wants to merge 1 commit intorust-lang:masterfrom
JakobDegen:rebase-mistake

Commits

Commits on Nov 13, 2022