Reparar pinchazos liner gre en piscina vacía

Tengo una piscina gre, el año pasado, al final del verano la desmonté y vi que había unos pequeños pinchazos, quisiera saber cómo puedo reparar los pinchazos con la piscina vacía y desmontada.