Apply suggestions from code review

This commit is contained in:
Diego Devesa 2024-12-31 14:44:19 +01:00 committed by GitHub
parent 9ad89bc9d3
commit 1c8ba922ec
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 3 additions and 3 deletions