Repairing a hole in a sleeping mat