Contribution #9494

Problem: en/3.1.12

Added main page link @ heading

Editor: Aliaksandr Melnichenka ( @astrosander )

Time: September 30, 2024 at 02:50 AM

GitHub commit: 1e755819cc7798a4eb2c47b2850da73570f195a5

+79 -77 lines changed