I need to repair ( fill ) a hole in my basement wall. It is about
6 inches in diameter and is the result of having to replace the water
line coming into the house. What is the best material to use and the
procedure? All I can find on a Google search is repairing cracks.
This is much too large for those procedures.