Swimming pools blog

Dear pool gurus and friends,
OK, short and sweet.
Pool was finished late last year. Soon after, I noticed that there is a
small hole in the concrete.
Concrete pool with riverpebble finish. Salt water chlorination.
Hole is only half inch wide, inch deep. Goes through pebble finish, but not
thru the concrete, just into it. Appears to be due to air bubble or
something, not so much from deterioration or anything.
Do I bother to fix it ?
If so, how?
Cheers
Darin (oz)