- From: Florian Rivoal <web-platform-tests-notifications@w3.org>
- Date: Tue, 04 Apr 2017 01:16:59 GMT
- To: public-web-platform-tests-notifications@w3.org
Not that I am particularly attached to this file, but since deleted files stay in the git history, the repo doesn't get any smaller by removing them. Is the goal to reduce the size of the checkout even if the repo itself doesn't shrink? View on GitHub: https://github.com/w3c/web-platform-tests/pull/5321#issuecomment-291361044
Received on Tuesday, 4 April 2017 01:17:11 UTC