Skip to content

Update committee list in pull_requests.toml - #635

Open
feliperodri wants to merge 1 commit into
model-checking:mainfrom
feliperodri:update-committee-list
Open

Update committee list in pull_requests.toml#635
feliperodri wants to merge 1 commit into
model-checking:mainfrom
feliperodri:update-committee-list

Commits

Commits on Aug 17, 2026