Remove a redundant white space (#10129)

This commit is contained in:
Suguru Hirahara
2023-02-10 09:38:22 +01:00
committed by GitHub
parent 671fdc8665
commit fc7d0eeaef
2 changed files with 2 additions and 2 deletions