Publication of 2023 Reports and Notice of AGM - Petra Diamonds Limited | RNS | Ticker