Jerudong Fish Market in dilapidated state

I would like to raise my concern about the Jerudong Fish Market.

The market is rundown and needs maintenance.

I was in the area recently during heavy rain and found that the ceiling was decrepit.

It was hard to find shelter as the rain was dripping through the ceiling. Those plying their trade at the market are affected. The floor condition was also terrible.

It is sad to see the place becoming so dilapidated.

Can the authorities renovate and carry out maintenance?