Hi,
Ich würde - so wie harry - die Stelle ausbeulen sodas keine scharfen Kanten in Richtung Poolfolie zeigen.
Sollte ein Riss ersichtlich sein würde ich diesen ausbohren, damit die Stelle nicht weiterreißen kann, dann die Stelle von innen und außen mit Zinkspray bearbeiten.
Anschließend würde ich von innen das Loch mit Glasfasergewebe + Polyesterharz großzügig überziehen. Zum Schluss innen und Außen lackieren.

So sollte im jedem Fall verhindert sein, dass das Loch weitereist und die Stabilität ev. gefährdet wird.

LG aus Gmünd, Flo