Skip to content

Remove Jose from active exec team and assorted tweaks#618

Merged
LaurentRDC merged 1 commit into
hakyllfrom
optional-exec-team
Jul 13, 2026
Merged

Remove Jose from active exec team and assorted tweaks#618
LaurentRDC merged 1 commit into
hakyllfrom
optional-exec-team

Remove Jose from active exec team and assorted tweaks

a18a332
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar