Skip to content

Fix #119: nofmt comment filtering - #120

Merged
andrewbaxter merged 3 commits into
masterfrom
fix-nofmt-comment-filtering
Oct 29, 2025
Merged

Fix #119: nofmt comment filtering#120
andrewbaxter merged 3 commits into
masterfrom
fix-nofmt-comment-filtering

Merge branch 'master' into fix-nofmt-comment-filtering

92ccf6e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.