On Wed, Oct 18, 2023 at 9:51 PM Bart Van Assche <bvanassche@xxxxxxx> wrote: > > On 10/17/23 18:37, Wenchao Hao wrote: > > The previous version was posted on 2023/9/28 but not reviewed, so I > > ping soon after repost. > > Since a repost counts as a ping, I think posting a ping soon after > reposting is considered aggressive. > I didn't mean that, then how long is appropriate to post a ping? Thanks. > Bart.
