Walgett water supply: repairs made to pump