Petra, which operates three diamond mines in South Africa and one in Tanzania, kept production guidance for 2021 on hold.

(Reporting by Helen Reid, editing by Louise Heavens)