Closed 27544270 closed 3 weeks ago
Please provide a reason for these changes and explain with enough evidence why the previous texts were wrong.
This comment follows as it's shown up on the Tips topic, located at the main repository page:
PR closed. "Delete file" button has been used.
ID: 27544270