Hey there, welcome back to the new forum!

Janet gave you a good idea of your options

10 years is a good life for a liner (with a little more diligence, 15+ is Very possible )

As you already plan to replace the liner, if I read this correctly (?), I'd leave the existing liner in place for the winter (to help protect the walls and bottom, though the bottom will probably need to be 'reworked' before the new liner is dropped anyway )

If you can easily patch the leak now, I'd do that - it will provide more protection to the wall and floor - if not, it shouldn't be too much extra work to get everything right for a new liner.

If you're close enough, I'd be happy to drop by and help you with re-troweling the bottom and dropping the new liner I'd guess you're not in S Maine, so either ask us questions about DIY or find a reputable pool company to do the work!!