Add additional check in t/ui/15-comments.t
for easier debugging
#5392
Mergify / Rule: automatic merge (merge)
succeeded
Dec 8, 2023 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 71dfa1b
Loading