That's a tiny leak
IMO - when fishing, use a small section of flexible flooring covering to protect the tubes you're landing fish over - as much for piece of mind as anything else. Land fish and lines into a fishbox.
A patch will be the most ideal long term fix - but IMO, a small amount of Urethane glue (as used to repair waders and other rubberlike items) will also work and be solid for many years. Part deflate the tube, put some glue into a syringe (no needle
) and force a little into the pin holes and finish with a small blob over the holes (be sure to clean the area well with thinners first). The intention is to form a mini dumbbell blob of glue that creates a natural plug. The plus side to this method is that you don't suddenly have a patched boat. The leak is not a risk at sea - even if the glue did give way for some reason.