The cache for one of my PRs got corrupt on travis and I had to clear it. I noticed the resulting cache is about 90% smaller! My question is as follows:
Any objection to deleting (purging) the travis caches on occasion? I'm specifically interested in master Cheers, Charles Allen
