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

Commits

Commits on Jul 13, 2026