We had that happen on one of liner installs several years ago. I did patch it instead of just waiting for the inevitable. No big deal.