[Web3-tsg] WEB3 TSG meeting time and genda (July 2023)