Skip to content

Commit

Permalink
Update 8935.other
Browse files Browse the repository at this point in the history
  • Loading branch information
@meltemkenis
meltemkenis authored Nov 8, 2023
1 parent 7c8bdfa commit 283eff9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/whatsnew/fragments/8935.other
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
Print how many files were checked in verbose mode.

Closes 8935
Closes #8935

0 comments on commit 283eff9

Please # to comment.