Contribution #1649

Problem: en/8.3.15

minor change

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

Time: June 25, 2024 at 04:51 AM

GitHub commit: a04dd4bd76d664f55649c48b8ea2f0fd2925c1c2

+1 -1 lines changed