Contribution #9814

Problem: en/7.1.23

Added 7.1.12, 7.1.23, 7.3.9 & 11.5.11

Editor: Aliaksandr Melnichenka ( @astrosander )

Time: September 30, 2024 at 06:45 PM

GitHub commit: 5aa3af12a31ed27b23d51e655562d11d095078c3

+120 -10 lines changed