Skip to content

[pull] main from rust-lang:main - #126

Merged
pull[bot] merged 2 commits into
Uncodedtech:mainfrom
rust-lang:main
Jul 18, 2026
Merged

[pull] main from rust-lang:main#126
pull[bot] merged 2 commits into
Uncodedtech:mainfrom
rust-lang:main

Conversation

@pull

@pullpullBot commented Jul 18, 2026

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

@pullpullBot locked and limited conversation to collaborators Jul 18, 2026
@pull
pullBot merged commit 734461f into Uncodedtech:mainJul 18, 2026
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@sobhanmohammadi-dev@senekor