Skip to content

Remove unnecessary tmp.txt file#2378

Merged
mo8it merged 1 commit intorust-lang:mainfrom
k7a-tomohiro:remove-unnecessary-tmp-file
Apr 8, 2026
Merged

Remove unnecessary tmp.txt file#2378
mo8it merged 1 commit intorust-lang:mainfrom
k7a-tomohiro:remove-unnecessary-tmp-file

Conversation

@k7a-tomohiro
Copy link
Copy Markdown
Contributor

tmp.txt was maybe pushed by mistake in 4d97c31.

So remove it.

@mo8it
Copy link
Copy Markdown
Contributor

mo8it commented Apr 8, 2026

You are right. Thanks

@mo8it mo8it merged commit 3bbc300 into rust-lang:main Apr 8, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants