Contribution #1411

Problem: en/7.1.17

minor change

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

Time: June 14, 2024 at 05:01 PM

GitHub commit: 760cdb79ac15b0bdd6e0ef6ca018fb77d3c2704a

+1 -1 lines changed