Secondo me ripassare il bordo è sufficente, personalmente il primo acquario che ho avuto era un circa 100L fatto a casa regalato da un amico e prima di riempirlo avevo notato che su un angolo il vetro era rotto, c'era un taglio di circa 2 cm, non perdeva acqua però, il mio rimedio è stato quello di prendere 2 pezzettini di vetro e incollarli sopra tipo toppa e ora sono circa 4 anni che è in funzione e il crepo non si è mosso.
Il tuo caso sempre secondo me non è grave.
