Skip to content

Let RawOsError be a pub type#739

Merged
newpavlov merged 5 commits intomasterfrom
push-vxmoymsuktpn
Oct 15, 2025
Merged

Let RawOsError be a pub type#739
newpavlov merged 5 commits intomasterfrom
push-vxmoymsuktpn

Conversation

@dhardy
Copy link
Member

@dhardy dhardy commented Oct 15, 2025

@dhardy dhardy requested a review from newpavlov October 15, 2025 12:40
@dhardy dhardy force-pushed the push-vxmoymsuktpn branch from 08c056c to 700bc56 Compare October 15, 2025 12:55
@dhardy dhardy force-pushed the push-vxmoymsuktpn branch from 700bc56 to 93632b3 Compare October 15, 2025 13:04
@newpavlov newpavlov merged commit 4001339 into master Oct 15, 2025
75 checks passed
@newpavlov newpavlov deleted the push-vxmoymsuktpn branch October 15, 2025 13:29
takumi-earth pushed a commit to earthlings-dev/getrandom that referenced this pull request Jan 27, 2026
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