Skip to content

Remove unused grep-includes dependency from prost - #62

Merged
dzbarsky merged 1 commit into
mainfrom
codex/remove-prost-grep-includes
Sep 15, 2026
Merged

dzbarsky merged 1 commit into
mainfrom
codex/remove-prost-grep-includes

Commits

Commits on Sep 15, 2026