Skip to content

Drop the dead PrintHeader catch - #153

Merged
erwan-joly merged 1 commit into
masterfrom
chore/use-shared-console-helper
Aug 31, 2026
Merged

Drop the dead PrintHeader catch#153
erwan-joly merged 1 commit into
masterfrom
chore/use-shared-console-helper

chore: drop the dead PrintHeader catch

60477ea
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar