[sr #110462] Renaming from master to main branch in git repository
Update of sr #110462 (project administration): Status:None => Done Assigned to:None => bandali Open/Closed:Open => Closed ___
[sr #110471] Webpage of vscode-texinfo doesn't appear
Update of sr #110471 (project administration): Status:None => Done Assigned to:None => bandali ___ Follow-up Comment #2: Hello, Apol