mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-13 12:33:42 +02:00
Merge bitcoin/bitcoin#31858: chore: remove redundant word
4c62b37fcdchore: remove redundant word (tianzedavid) Pull request description: Remove redundant word For https://github.com/bitcoin/bitcoin/pull/31855#issuecomment-2656392782 ACKs for top commit: maflcko: lgtm ACK4c62b37fcddelta1: ACK4c62b37fcdTree-SHA512: b6af8aa158be37977d7016435aafb07542e38db863111b86369cba29bab25c9dd0075892dbe559d4d72c6aa33fcb08a7881a41d1a124d0bfc2c18aea696a0b57
This commit is contained in:
commit
c242fa5be3
1 changed files with 1 additions and 1 deletions
|
|
@ -91,7 +91,7 @@ def check_all_filenames(files) -> int:
|
|||
for filename in filenames:
|
||||
if not filename_regex.match(filename):
|
||||
print(
|
||||
f"""File {repr(filename)} does not not match the allowed filename regexp ('{ALLOWED_FILENAME_REGEXP}')."""
|
||||
f"""File {repr(filename)} does not match the allowed filename regexp ('{ALLOWED_FILENAME_REGEXP}')."""
|
||||
)
|
||||
failed_tests += 1
|
||||
return failed_tests
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue