Skip to content

Rename ptr to pointer - #849

Merged
alejandro-vaz merged 3 commits into
servo:v2from
Divyansh089:rename-ptr-to-pointer
Nov 2, 2026
Merged

alejandro-vaz merged 3 commits into
servo:v2from
Divyansh089:rename-ptr-to-pointer

rename in part.rs

24d8f42
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Miri
succeeded Nov 2, 2026 in 1m 35s