Welcome to the forum.
New Liner. No question about it. Chances are the patch won't match in color or if it initially does it may not after a couple years. Next, the patch may now be a weak point, and finally, if the liner was the problem who knows if other leak points may develop.
Al