Contribution #9825

Problem: en/10.1.15

minor change

Editor: Luis Daniel Fernández Quintana ( @Luisito )

Time: October 2, 2024 at 02:44 AM

GitHub commit: 3664d9077ff791ec3b92ff005228129fa127f314

+1 -1 lines changed