Plaster that was damaged by water leaking through the roof was repaired. Earlier in the summer the roof leak was repaired. These pictures show the progress of the repair.