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

Commits

  1. Commits on Nov 2, 2026